TODO
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