LamEx.thy
2009-10-28 Christian Urban merged
2009-10-28 Christian Urban added infrastructure for defining lifted constants
2009-10-28 Cezary Kaliszyk First experiments with Lambda
2009-10-27 Christian Urban added equiv-thm to the quot_info
2009-10-27 Christian Urban added an example about lambda-terms
less more (0) tip