TODO
2005-04-26 webertj HTML standard conformity: done
2005-04-25 nipkow *** empty log message ***
2005-04-15 nipkow *** empty log message ***
2005-04-12 nipkow *** empty log message ***
2005-04-07 nipkow *** empty log message ***
2005-04-05 nipkow *** empty log message ***
2005-01-19 nipkow *** empty log message ***
2005-01-17 nipkow *** empty log message ***
2004-12-20 nipkow *** empty log message ***
2004-12-17 kleing sugar, not sugari. stupid vi ;-)
2004-12-17 paulson *** empty log message ***
2004-12-16 kleing LaTeXsugar
2004-12-15 paulson *** empty log message ***
2004-12-09 paulson converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global
2004-12-08 paulson converted Lfp to new-style theory
2004-11-30 paulson converted Wellfounded_Relations to Isar script
2004-11-25 paulson ML
2004-11-23 webertj HTML conformity
2004-11-23 nipkow *** empty log message ***
2004-08-17 kleing todo before next release
less more (0) tip