src/HOL/Sum_Type.thy
2001-09-27 wenzelm 2001-09-27 eliminated theories "equalities" and "mono" (made part of "Typedef", which supercedes "subset");
2001-01-09 nipkow 2001-01-09 `` -> and ``` -> ``
2000-10-12 nipkow 2000-10-12 *** empty log message ***