2010-01-14 | Christian Urban | tuned quotient_def.ML and cleaned somewhat LamEx.thy | file | diff | annotate |
2010-01-14 | Christian Urban | a few more lemmas...except supp of lambda-abstractions | file | diff | annotate |
2010-01-14 | Christian Urban | removed one sorry | file | diff | annotate |