TODO
2005-01-19 ago *** empty log message ***
2005-01-17 ago *** empty log message ***
2004-12-20 ago *** empty log message ***
2004-12-17 ago sugar, not sugari. stupid vi ;-)
2004-12-17 ago *** empty log message ***
2004-12-16 ago LaTeXsugar
2004-12-15 ago *** empty log message ***
2004-12-09 ago converted Sum_Type to new-style theory: Inl, Inr are NO LONGER global
2004-12-08 ago converted Lfp to new-style theory
2004-11-30 ago converted Wellfounded_Relations to Isar script
2004-11-25 ago ML
2004-11-23 ago HTML conformity
2004-11-23 ago *** empty log message ***
2004-08-17 ago todo before next release