QuotMain.thy
2009-11-25 Cezary Kaliszyk Removed unused things from QuotMain.
2009-11-25 Cezary Kaliszyk lambda_prs and cleaning the existing examples.
2009-11-25 Christian Urban fixed the problem with generalising variables; at the moment it is quite a hack
2009-11-24 Christian Urban changed unification to matching
2009-11-24 Christian Urban unification
2009-11-24 Cezary Kaliszyk Lambda & SOLVED' for new quotient_tac
2009-11-24 Christian Urban merged
2009-11-24 Christian Urban merged
2009-11-24 Christian Urban use error instead of raising our own exception
2009-11-24 Cezary Kaliszyk Fixes to the tactic after quotient_tac changed.
2009-11-24 Christian Urban merged
2009-11-24 Christian Urban added a prepare_tac
2009-11-24 Cezary Kaliszyk TRY' for clean_tac
2009-11-24 Cezary Kaliszyk Moved cleaning to QuotMain
2009-11-24 Cezary Kaliszyk New cleaning tactic
less more (0) -100 -15 tip