src/HOL/Decision_Procs/Rat_Pair.thy
2013-11-01 haftmann 2013-11-01 more simplification rules on unary and binary minus
2013-10-31 haftmann 2013-10-31 more convenient place for a theory in solitariness