Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Broken link in AFP

Email Gateway (Feb 10 2022 at 10:52):

From: Peter Lammich <lammich@in.tum.de>
This is the browse-theories link at
https://www.isa-afp.org/entries/Monad_Memo_DP.html

It's broken ...

https://www.isa-afp.org/browser_info/current/AFP/Monad_Memo_DP/index.html

Last updated: Jan 04 2025 at 20:18 UTC