| 2010-05-10 | Cezary Kaliszyk | prod_rel and prod_fv eqvt and mono | file | diff | annotate |
| 2010-05-06 | Cezary Kaliszyk | prod_fv and its respectfullness and preservation. | file | diff | annotate |
| 2010-04-22 | Christian Urban | moved lemmas from FSet.thy to do with atom to Nominal2_Base, and to do with 'a::at set to Nominal2_Atoms; moved Nominal2_Eqvt.thy one up to be loaded before Nominal2_Atoms | file | diff | annotate |
| 2010-04-21 | Christian Urban | tuned proofs | file | diff | annotate |