LamEx.thy
2009-11-25 Cezary Kaliszyk applic_prs
2009-11-25 Cezary Kaliszyk Removed unused things from QuotMain.
2009-11-25 Cezary Kaliszyk All examples work again.
2009-11-25 Cezary Kaliszyk lambda_prs and cleaning the existing examples.
2009-11-24 Cezary Kaliszyk Lambda & SOLVED' for new quotient_tac
2009-11-05 Cezary Kaliszyk More functionality for lifting list.cases and list.recs.
less more (0) -30 -10 -6 tip