[isabelle] New in the AFP: The Chandy–Lamport Distribute… (1 message, latest: Aug 04 2020 at 11:49)
[isabelle] Isabelle document fails with non-descriptive e… (2 messages, latest: Aug 03 2020 at 16:26)
[isabelle] Record update syntax (8 messages, latest: Aug 03 2020 at 14:14)
[isabelle] Exporting local setup to global context (2 messages, latest: Aug 03 2020 at 06:01)
[isabelle] Unexpected behaviour of lemmas x = … for A (1 message, latest: Jul 29 2020 at 12:02)
[isabelle] Isabelle standard mathematics library, HOL-Ana… (10 messages, latest: Jul 28 2020 at 15:30)
[isabelle] Superscript argument to a function (1 message, latest: Jul 28 2020 at 13:46)
[isabelle] Various “models” of extended reals and impacts… (9 messages, latest: Jul 28 2020 at 09:36)
[isabelle] New AFP entry: Relational Characterisations of… (1 message, latest: Jul 28 2020 at 07:59)
[isabelle] Rosetta Code (7 messages, latest: Jul 28 2020 at 00:51)
[isabelle] new bibitems in document preparation (1 message, latest: Jul 27 2020 at 10:52)
[isabelle] Representing type dependencies in Isabelle/HOL… (1 message, latest: Jul 25 2020 at 20:51)
[isabelle] Standard group theory in Isabelle/HOL and in d… (1 message, latest: Jul 24 2020 at 14:37)
[isabelle] Importing from session 2019 vs. 2020 (1 message, latest: Jul 24 2020 at 13:58)
[isabelle] Standard group theory in Isabelle/HOL – Isabel… (7 messages, latest: Jul 24 2020 at 08:50)
[isabelle] Summer School on Programming Languages and Ver… (1 message, latest: Jul 23 2020 at 08:40)
[isabelle] Isabelle build failure for ’threads=1’ (1 message, latest: Jul 22 2020 at 06:26)
[isabelle] ML style “functors” for Isabelle theories? (3 messages, latest: Jul 21 2020 at 22:37)
[isabelle] Isabelle standard mathematics library, HOL-Ana… (1 message, latest: Jul 21 2020 at 20:38)
[isabelle] get set of (proper) divisors for a specific nu… (5 messages, latest: Jul 20 2020 at 15:50)
[isabelle] FTfJP 2020 (virtual) - Call for Participation … (1 message, latest: Jul 17 2020 at 07:46)
[isabelle] File antiquotation broken after Theory.join_th… (2 messages, latest: Jul 16 2020 at 21:07)
[isabelle] Folding abbreviations with TYPE(_) parameters (1 message, latest: Jul 14 2020 at 12:29)
stream events (1 message, latest: Jul 13 2020 at 21:03)
Last updated: Aug 04 2020 at 22:00 UTC