| 2010-11-27 | Christian Urban | disabled the Foo examples, because of heavy work | file | diff | annotate |
| 2010-11-24 | Christian Urban | added example from the F-ing paper by Rossberg, Russo and Dreyer | file | diff | annotate |
| 2010-11-15 | Christian Urban | added a test for the various shallow binders | file | diff | annotate |
| 2010-11-14 | Christian Urban | merged Nominal-General directory into Nominal; renamed Abs.thy to Nominal2_Abs.thy | file | diff | annotate |
| 2010-11-06 | Christian Urban | added a test about subtyping; disabled two tests, because of problem with function package | file | diff | annotate |
| 2010-09-28 | Christian Urban | added Foo1 to explore a contrived example | file | diff | annotate |
| 2010-09-22 | Christian Urban | fixed | file | diff | annotate |