Quot/quotient_tacs.ML
2010-01-13 Christian Urban tuned
2010-01-13 Christian Urban added SOLVED' which is now part of Isabelle....must be removed eventually
less more (0) -10 -2 tip