QuotMain.thy
2009-12-03 Cezary Kaliszyk Fixed previous mistake
2009-12-03 Cezary Kaliszyk defs used automatically by clean_tac
2009-12-03 Cezary Kaliszyk removing unused code
2009-12-03 Christian Urban deleted some dead code
2009-12-03 Cezary Kaliszyk Included all_prs and ex_prs in the lambda_prs conversion.
2009-12-03 Christian Urban further simplification
2009-12-03 Christian Urban simplified lambda_prs_conv
less more (0) -300 -100 -30 -10 -7 tip