IntEx.thy
2009-11-28 Cezary Kaliszyk Finished and tested the new regularize
2009-11-28 Christian Urban fixed examples in IntEx and FSet
2009-11-28 Christian Urban fixed previous commit
2009-11-28 Christian Urban annotated a proof with all steps and simplified LAMBDA_RES_TAC
less more (0) -30 -10 -4 tip