Quot/quotient_tacs.ML
2010-01-14 Cezary Kaliszyk produce defs with lthy, like prs and ids
2010-01-14 Cezary Kaliszyk Remove SOLVED from quotient_tac. Move atomize_eqv to 'Unused'.
2010-01-13 Christian Urban one more item in the list of Markus
2010-01-13 Christian Urban deleted SOLVED'
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) -30 -10 -6 tip