LamEx.thy
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