| 2012-05-31 | Christian Urban | renamed fresh_fun to Fresh; added a simproc that deals with freshness of functions | file | diff | annotate |
| 2012-05-25 | Christian Urban | fixed bug in simproc (also in the exec-version) | file | diff | annotate |
| 2012-05-24 | Cezary Kaliszyk | Synchronize Nominal2_Base_Exec with Nominal2_Base, equivariance for Let, avoid overloading approx twice and changes for new isabelle | file | diff | annotate |
| 2012-05-23 | Christian Urban | improved handling in the simplifier for inequalities derived from freshness assumptions | file | diff | annotate |
| 2012-05-12 | Christian Urban | added a lemma about composition and permutations | file | diff | annotate |
| 2012-04-04 | Christian Urban | updated to Isabelle version April 1 | file | diff | annotate |