2010-11-27 | Christian Urban | tuned proof to reduce number of warnings | file | diff | annotate |
2010-11-27 | Christian Urban | disabled the Foo examples, because of heavy work | file | diff | annotate |
2010-11-21 | Christian Urban | added example Foo2.thy | file | diff | annotate |
2010-11-14 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | file | diff | annotate | base |
2010-03-20 | Christian Urban | moved infinite_Un into mainstream Isabelle; moved permute_boolI/E lemmas | file | diff | annotate |
2010-03-02 | Christian Urban | updated (added lemma about commuting permutations) | file | diff | annotate |