| 2010-11-10 | Christian Urban | adapted to changes by Florian on the quotient package and removed local fix for function package | file | diff | annotate |
| 2010-09-29 | Christian Urban | simplified exhaust proofs | file | diff | annotate |
| 2010-09-29 | Christian Urban | test with induct_schema for simpler strong_ind proofs | file | diff | annotate |
| 2010-08-29 | Christian Urban | renamed NewParser to Nominal2 | file | diff | annotate |
| 2010-08-27 | Christian Urban | make copies of the "old" files | file | diff | annotate |
| 2010-08-26 | Christian Urban | "isabelle make test" makes all major examples....they work up to supp theorems (excluding) | file | diff | annotate |
| 2010-08-25 | Christian Urban | cleaned up (almost completely) the examples | file | diff | annotate |