| 2011-05-10 | Christian Urban | updated to new Isabelle (> 9 May) | file | diff | annotate |
| 2011-04-19 | Christian Urban | updated to snapshot Isabelle 19 April | file | diff | annotate |
| 2011-04-18 | Christian Urban | added permute_pure back into the nominal_inductive procedure; updated to Isabelle 17 April | file | diff | annotate |
| 2011-02-28 | Christian Urban | split the library into a basics file; merged Nominal_Eqvt into Nominal_Base | file | diff | annotate |