TODO
2005-06-01 nipkow 2005-06-01 *** empty log message ***
2005-05-31 wenzelm 2005-05-31 improved naming of complex theorems in presentation; typedef: sorts *are* allowed, but only on the rhs;
2005-05-16 paulson 2005-05-16 Use of IntInf.int instead of int in most numeric simprocs; avoids integer overflow in SML/NJ
2005-04-26 webertj 2005-04-26 HTML standard conformity: done
2005-04-25 nipkow 2005-04-25 *** empty log message ***
2005-04-15 nipkow 2005-04-15 *** empty log message ***
2005-04-12 nipkow 2005-04-12 *** empty log message ***
2005-04-07 nipkow 2005-04-07 *** empty log message ***
2005-04-05 nipkow 2005-04-05 *** empty log message ***
2005-01-19 nipkow 2005-01-19 *** empty log message ***
2005-01-17 nipkow 2005-01-17 *** empty log message ***
2004-12-20 nipkow 2004-12-20 *** empty log message ***
2004-12-17 kleing 2004-12-17 sugar, not sugari. stupid vi ;-)
2004-12-17 paulson 2004-12-17 *** empty log message ***
2004-12-16 kleing 2004-12-16 LaTeXsugar
2004-12-15 paulson 2004-12-15 *** empty log message ***
2004-12-09 paulson 2004-12-09 converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global
2004-12-08 paulson 2004-12-08 converted Lfp to new-style theory
2004-11-30 paulson 2004-11-30 converted Wellfounded_Relations to Isar script
2004-11-25 paulson 2004-11-25 ML
2004-11-23 webertj 2004-11-23 HTML conformity
2004-11-23 nipkow 2004-11-23 *** empty log message ***
2004-08-17 kleing 2004-08-17 todo before next release