Specify the dependencies on other Isabelle sessions

input-output-hk · Jan 20, 2024 · 7391efe · 7391efe
1 parent eec4b44
commit 7391efe
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/README.md b/README.md
@@ -14,6 +14,12 @@ Isabelle2022 from the [Isabelle website][isabelle].
     https://isabelle.in.tum.de/
     "Isabelle"
 
+In addition, you need the following Isabelle sessions:
+
+  * [`ZFC_in_HOL`](https://www.isa-afp.org/entries/ZFC_in_HOL.html)
+  * [`Equivalence_Reasoner`](https://github.com/input-output-hk/equivalence-reasoner)
+  * [`Transition_Systems`](https://github.com/input-output-hk/transition-systems)
+
 
 Setup
 =====