| Wed, 19 Jan 2005 16:45:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 17 Jan 2005 17:45:03 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Mon, 20 Dec 2004 18:25:22 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Fri, 17 Dec 2004 12:39:40 +0100 | kleing | sugar, not sugari. stupid vi ;-) | file | diff | annotate |
| Fri, 17 Dec 2004 10:15:10 +0100 | paulson | *** empty log message *** | file | diff | annotate |
| Thu, 16 Dec 2004 04:19:20 +0100 | kleing | LaTeXsugar | file | diff | annotate |
| Wed, 15 Dec 2004 10:19:19 +0100 | paulson | *** empty log message *** | file | diff | annotate |
| Thu, 09 Dec 2004 16:45:46 +0100 | paulson | converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global | file | diff | annotate |
| Wed, 08 Dec 2004 10:28:05 +0100 | paulson | converted Lfp to new-style theory | file | diff | annotate |
| Tue, 30 Nov 2004 16:27:44 +0100 | paulson | converted Wellfounded_Relations to Isar script | file | diff | annotate |
| Thu, 25 Nov 2004 12:39:12 +0100 | paulson | ML | file | diff | annotate |
| Tue, 23 Nov 2004 17:47:37 +0100 | webertj | HTML conformity | file | diff | annotate |
| Tue, 23 Nov 2004 14:21:24 +0100 | nipkow | *** empty log message *** | file | diff | annotate |
| Tue, 17 Aug 2004 11:00:24 +0200 | kleing | todo before next release | file | diff | annotate |