fix

b8c70a16 · Dennis Müller · 3d2bba07 · b8c70a16 · b8c70a16 · b8c70a16
Commit b8c70a16 authored 5 years ago by Dennis Müller
--- 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