no message

Merge branch 'devel' of gl.mathhub.info:MitM/Foundation into devel # Conflicts: # scala/info/kwarc/mmt/mitm/rules/Units.scala

no message
35f1939e · Florian Rabe · c2ae18ed · 23218536 · 35f1939e · 35f1939e
Commit 35f1939e authored 4 years ago by Florian Rabe
--- a/bin/info/kwarc/mmt/mitm/rules/Binary.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Binary.class
--- a/bin/info/kwarc/mmt/mitm/rules/BinaryPred.class
+++ b/bin/info/kwarc/mmt/mitm/rules/BinaryPred.class
--- a/bin/info/kwarc/mmt/mitm/rules/DimEq$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/DimEq$.class
--- a/bin/info/kwarc/mmt/mitm/rules/DimEq.class
+++ b/bin/info/kwarc/mmt/mitm/rules/DimEq.class
--- a/bin/info/kwarc/mmt/mitm/rules/Unary.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Unary.class
--- a/bin/info/kwarc/mmt/mitm/rules/UnitEq$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/UnitEq$.class
--- a/bin/info/kwarc/mmt/mitm/rules/UnitEq.class
+++ b/bin/info/kwarc/mmt/mitm/rules/UnitEq.class
--- a/content/http..mathhub.info/MitM/Foundation/$Description$Operator.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Description$Operator.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Inductive$Types.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Inductive$Types.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Informal$Proofs.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Informal$Proofs.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Int$Literals.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Int$Literals.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Lists.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Lists.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Literals.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Literals.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Logic.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Logic.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Math.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Math.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Matrices.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Matrices.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Metadata.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Metadata.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Nat$Literals.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Nat$Literals.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Natural$Deduction.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Natural$Deduction.omdoc.xz
--- a/content/http..mathhub.info/MitM/Foundation/$Option$Type.omdoc.xz
+++ b/content/http..mathhub.info/MitM/Foundation/$Option$Type.omdoc.xz