Unused.thy
2010-01-14 Cezary Kaliszyk Remove SOLVED from quotient_tac. Move atomize_eqv to 'Unused'.
2010-01-05 Cezary Kaliszyk Readded 'regularize_to_injection' which I believe will be needed.
2009-12-10 Christian Urban moved the interpretation code into Unused.thy
2009-11-10 Cezary Kaliszyk More code cleaning and commenting
2009-11-09 Cezary Kaliszyk Cleaning and commenting
2009-10-28 Cezary Kaliszyk cleaned FSet
2009-10-15 Cezary Kaliszyk Reordering the code, part 3
less more (0) tip