added equality rules

META-INF/MANIFEST.MF

bin/info/kwarc/mmt/frameit/rules/AngleInvertible$.class

bin/info/kwarc/mmt/frameit/rules/AngleInvertible.class

bin/info/kwarc/mmt/frameit/rules/FrameIT$.class

bin/info/kwarc/mmt/frameit/rules/FrameIT.class

bin/info/kwarc/mmt/frameit/rules/MetricCommutative$.class

bin/info/kwarc/mmt/frameit/rules/MetricCommutative.class

bin/info/kwarc/mmt/frameit/rules/Symbols$.class

bin/info/kwarc/mmt/frameit/rules/Symbols.class

scala/.idea/compiler.xml

scala/.idea/copyright/profiles_settings.xml

scala/.idea/libraries/scala_sdk_2_11_7.xml

scala/.idea/misc.xml

scala/.idea/modules.xml

scala/.idea/workspace.xml

scala/info/.gitignore

scala/info/kwarc/mmt/frameit/rules/Rules.scala

scala/info/kwarc/mmt/frameit/rules/Symbols.scala

source/Library/3DVector.mmt