Merge next-generation-skeleton of pull request #8 into master

jeltsch · web-flow · commit 93feff4f342b · 2021-11-13T01:26:25.000+02:00
Add the skeleton of the next-generation equivalence reasoner
diff --git a/src/Equivalence_Reasoner.thy b/src/Equivalence_Reasoner.thy
@@ -0,0 +1,6 @@
+theory Equivalence_Reasoner
+imports
+  Main
+begin
+
+end
diff --git a/src/ROOT b/src/ROOT
@@ -3,5 +3,7 @@ chapter IOG
 session Equivalence_Reasoner = HOL +
   description
     \<open>An Automated Equivalence Reasoner for Isabelle/HOL.\<close>
+  theories
+    Equivalence_Reasoner
   document_files
     "root.tex"

-Original file line number
+Diff line change
@@ @@ -0,0 +1,6 @@ @@
 +theory Equivalence_Reasoner
 +imports
 +  Main
 +begin
++
 +end