Added ComputationRule BoolAnd

bin/info/kwarc/mmt/mitm/rules/Math$.class

bin/info/kwarc/mmt/mitm/rules/Math.class

bin/info/kwarc/mmt/mitm/rules/Units$.class

bin/info/kwarc/mmt/mitm/rules/Units$DimDiv$.class

bin/info/kwarc/mmt/mitm/rules/Units$DimTimes$.class

bin/info/kwarc/mmt/mitm/rules/Units$Div.class

bin/info/kwarc/mmt/mitm/rules/Units$Times.class

bin/info/kwarc/mmt/mitm/rules/Units$UnitDiv$.class

bin/info/kwarc/mmt/mitm/rules/Units$UnitTimes$.class

...thhub.info/MitM/Foundation/$Description$Operator.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Finite$Types.omdoc.xz

...p..mathhub.info/MitM/Foundation/$Inductive$Types.omdoc.xz

...p..mathhub.info/MitM/Foundation/$Informal$Proofs.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Int$Literals.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Lists.omdoc.xz

...ent/http..mathhub.info/MitM/Foundation/$Literals.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Logic.omdoc.xz

content/http..mathhub.info/MitM/Foundation/$Math.omdoc.xz

...ent/http..mathhub.info/MitM/Foundation/$Matrices.omdoc.xz

...http..mathhub.info/MitM/Foundation/$Nat$Literals.omdoc.xz