TODO
Mon, 16 May 2005 10:29:15 +0200 paulson Use of IntInf.int instead of int in most numeric simprocs; avoids
Tue, 26 Apr 2005 16:31:43 +0200 webertj HTML standard conformity: done
Mon, 25 Apr 2005 18:29:40 +0200 nipkow *** empty log message ***
Fri, 15 Apr 2005 17:03:35 +0200 nipkow *** empty log message ***
Tue, 12 Apr 2005 13:38:08 +0200 nipkow *** empty log message ***
Thu, 07 Apr 2005 10:22:55 +0200 nipkow *** empty log message ***
Tue, 05 Apr 2005 08:03:52 +0200 nipkow *** empty log message ***
Wed, 19 Jan 2005 16:45:24 +0100 nipkow *** empty log message ***
Mon, 17 Jan 2005 17:45:03 +0100 nipkow *** empty log message ***
Mon, 20 Dec 2004 18:25:22 +0100 nipkow *** empty log message ***
Fri, 17 Dec 2004 12:39:40 +0100 kleing sugar, not sugari. stupid vi ;-)
Fri, 17 Dec 2004 10:15:10 +0100 paulson *** empty log message ***
Thu, 16 Dec 2004 04:19:20 +0100 kleing LaTeXsugar
Wed, 15 Dec 2004 10:19:19 +0100 paulson *** empty log message ***
Thu, 09 Dec 2004 16:45:46 +0100 paulson converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global
Wed, 08 Dec 2004 10:28:05 +0100 paulson converted Lfp to new-style theory
Tue, 30 Nov 2004 16:27:44 +0100 paulson converted Wellfounded_Relations to Isar script
Thu, 25 Nov 2004 12:39:12 +0100 paulson ML
Tue, 23 Nov 2004 17:47:37 +0100 webertj HTML conformity
Tue, 23 Nov 2004 14:21:24 +0100 nipkow *** empty log message ***
Tue, 17 Aug 2004 11:00:24 +0200 kleing todo before next release
less more (0) tip