| Sun, 04 Apr 2010 21:39:28 +0200 | Christian Urban | separated general nominal theory into separate folder | file | diff | annotate |
| Sat, 27 Mar 2010 14:55:07 +0100 | Cezary Kaliszyk | Automatically lift theorems and constants only using the new quotient types. Requires new Isabelle. | file | diff | annotate |
| Thu, 18 Mar 2010 10:15:57 +0100 | Cezary Kaliszyk | Update TODO. | file | diff | annotate |
| Thu, 04 Mar 2010 18:57:23 +0100 | Cezary Kaliszyk | Lift distinct. | file | diff | annotate |
| Fri, 26 Feb 2010 13:57:43 +0100 | Cezary Kaliszyk | Permutation and FV_Alpha interface change. | file | diff | annotate |
| Thu, 25 Feb 2010 07:48:57 +0100 | Christian Urban | merged | file | diff | annotate | base |
| Thu, 25 Feb 2010 07:48:33 +0100 | Christian Urban | moved Nominal to "toplevel" | file | diff | annotate | base |