typo: aspect -> aspects
fix: Due to case insensitive filesystem some ambiguities in naming arose, those are fixed and imports are cleaned
merge
replaced old dependecy graphing tool with a new tool pulled from ssrcorn, tools/DepsToDot.hs
typo: aspect -> aspects
replaced old dependecy graphing tool with a new tool pulled from ssrcorn, tools/DepsToDot.hs
New coq.mim file.
Prove that a StrictOrder satisfying Trichotomy is a PseudoOrder.
Add the option monad.
Merge branch 'master' of github.com:math-classes/math-classes
Merge branch 'master' of git://github.com/0x01/math-classes
Rename Coerce into Cast, because our casts are explicit.
Merge branch 'master' of /home/robbert/formath/math-classes

Conflicts:
	MathClasses/categories/algebra.v
	MathClasses/categories/cat.v
	MathClasses/categories/functor.v
	MathClasses/categories/setoid.v
	MathClasses/categories/variety.v
	MathClasses/varieties/group.v
	MathClasses/varieties/monoid.v
	MathClasses/varieties/ring.v
	MathClasses/varieties/semigroup.v
	MathClasses/varieties/semiring.v
	MathClasses/varieties/setoid.v
	papers/mscs/mscs.tex
	src/categories/algebra.v
	src/categories/algebras.v
	src/categories/cat.v
	src/categories/categories.v
	src/categories/functor.v
	src/categories/functors.v
	src/categories/setoid.v
	src/categories/setoids.v
	src/categories/varieties.v
	src/categories/variety.v
	src/varieties/group.v
	src/varieties/groups.v
	src/varieties/monoid.v
	src/varieties/monoids.v
	src/varieties/ring.v
	src/varieties/rings.v
	src/varieties/semigroup.v
	src/varieties/semigroups.v
	src/varieties/semiring.v
	src/varieties/semirings.v
	src/varieties/setoid.v
	src/varieties/setoids.v
	tools/DepsToDot.hs
Merge branch 'master' of git://github.com/spitters/ssrcorn
Comment out broken code.
Rename INSTALL -> README
Rename StrictPartialOrder -> FullPartialOrder
Graphs of the hierarchies.
Rename OrderPreservingBack -> OrderReflecting
Merge branch 'master' of /home/robbert/formath/math-classes