release 1.30.0, added Module_ZF_1 and Module_ZF_2 to ROOT

SKolodynski · May 26, 2024 · 870c41a · 870c41a
1 parent ea33786
commit 870c41a
Show file tree

Hide file tree

Showing 7 changed files with 1,973 additions and 0 deletions.
diff --git a/IsarMathLib/ROOT b/IsarMathLib/ROOT
@@ -51,6 +51,8 @@ session "IsarMathLib" = "ZF" +
     Ring_ZF_4
     Field_ZF
     Module_ZF
+    Module_ZF_1
+    Module_ZF_2
     VectorSpace_ZF
     OrderedField_ZF
     Int_ZF_IML

diff --git a/docs/IsarMathLib/Module_ZF_1.html b/docs/IsarMathLib/Module_ZF_1.html
diff --git a/docs/IsarMathLib/Module_ZF_2.html b/docs/IsarMathLib/Module_ZF_2.html
diff --git a/docs/IsarMathLib/document.pdf b/docs/IsarMathLib/document.pdf
diff --git a/docs/IsarMathLib/index.html b/docs/IsarMathLib/index.html
@@ -122,6 +122,10 @@ <h2>Theories</h2>
 
 <li><a href="Module_ZF.html">Module_ZF</a></li>
 
+<li><a href="Module_ZF_1.html">Module_ZF_1</a></li>
+
+<li><a href="Module_ZF_2.html">Module_ZF_2</a></li>
+
 <li><a href="VectorSpace_ZF.html">VectorSpace_ZF</a></li>
 
 <li><a href="OrderedField_ZF.html">OrderedField_ZF</a></li>

diff --git a/docs/IsarMathLib/outline.pdf b/docs/IsarMathLib/outline.pdf
diff --git a/docs/IsarMathLib/session_graph.pdf b/docs/IsarMathLib/session_graph.pdf