no message

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

no message
a6fd7c96 · Florian Rabe · e83397b7 · d23dc222 · e83397b7 · e83397b7
Commit a6fd7c96 authored 6 years ago by Florian Rabe
--- a/bin/info/kwarc/mmt/mitm/rules/Acos$$anonfun$$lessinit$greater$6.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Acos$$anonfun$$lessinit$greater$6.class
--- a/bin/info/kwarc/mmt/mitm/rules/Acos$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Acos$.class
--- a/bin/info/kwarc/mmt/mitm/rules/Acos.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Acos.class
--- a/bin/info/kwarc/mmt/mitm/rules/Asin$$anonfun$$lessinit$greater$5.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Asin$$anonfun$$lessinit$greater$5.class
--- a/bin/info/kwarc/mmt/mitm/rules/Asin$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Asin$.class
--- a/bin/info/kwarc/mmt/mitm/rules/Asin.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Asin.class
--- a/bin/info/kwarc/mmt/mitm/rules/Atan$$anonfun$$lessinit$greater$4.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Atan$$anonfun$$lessinit$greater$4.class
--- a/bin/info/kwarc/mmt/mitm/rules/Atan$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Atan$.class
--- a/bin/info/kwarc/mmt/mitm/rules/Atan.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Atan.class
--- 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/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/BinaryPred.class
+++ b/bin/info/kwarc/mmt/mitm/rules/BinaryPred.class
--- a/bin/info/kwarc/mmt/mitm/rules/BooleanLiterals$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/BooleanLiterals$.class
--- a/bin/info/kwarc/mmt/mitm/rules/BooleanLiterals.class
+++ b/bin/info/kwarc/mmt/mitm/rules/BooleanLiterals.class
--- a/bin/info/kwarc/mmt/mitm/rules/Cos$$anonfun$$lessinit$greater$3.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Cos$$anonfun$$lessinit$greater$3.class
--- a/bin/info/kwarc/mmt/mitm/rules/Cos$.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Cos$.class
--- a/bin/info/kwarc/mmt/mitm/rules/Cos.class
+++ b/bin/info/kwarc/mmt/mitm/rules/Cos.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