| Sun, 04 Apr 2010 21:39:28 +0200 | Christian Urban | separated general nominal theory into separate folder | file | diff | annotate |
| Sat, 03 Apr 2010 21:53:04 +0200 | Christian Urban | merged pearl paper with this repository; started litrature subdirectory | file | diff | annotate |
| Wed, 17 Mar 2010 20:42:22 +0100 | Christian Urban | paper uses now a heap file - does not compile so long anymore | file | diff | annotate |
| Wed, 17 Mar 2010 15:13:31 +0100 | Christian Urban | made paper to compile | file | diff | annotate |
| Thu, 25 Feb 2010 08:40:52 +0100 | Christian Urban | added IsaMakefile...but so far included only a test for the parser | file | diff | annotate |
| Sun, 20 Dec 2009 00:14:46 +0100 | Christian Urban | with "isabelle make keywords" you can create automatically a "quot" keywordfile, provided all Logics are in place | file | diff | annotate |
| Wed, 16 Dec 2009 14:28:48 +0100 | Christian Urban | complete fix for IsaMakefile | file | diff | annotate |