| Fri, 25 May 2007 05:18:56 +0200 | urbanc | took out Class.thy from the compiling process until memory problems are solved | file | diff | annotate |
| Fri, 27 Apr 2007 18:50:27 +0200 | urbanc | tuned some proofs in CR and properly included CR_Takahashi | file | diff | annotate |
| Fri, 16 Mar 2007 17:17:36 +0100 | urbanc | adjusted for the example file SOS.thy | file | diff | annotate |
| Tue, 16 Jan 2007 13:59:08 +0100 | urbanc | formalisation of Crary's chapter on logical relations | file | diff | annotate |
| Wed, 01 Nov 2006 15:50:19 +0100 | urbanc | tuned | file | diff | annotate |
| Mon, 23 Oct 2006 00:48:45 +0200 | berghofe | Added Compile and Height examples. | file | diff | annotate |
| Fri, 28 Apr 2006 17:56:20 +0200 | berghofe | Added Class, Fsub, and Lambda_mu examples for nominal datatypes. | file | diff | annotate |
| Fri, 28 Apr 2006 15:55:38 +0200 | berghofe | New ROOT file for nominal datatype examples. | file | diff | annotate |