src/HOL/Sum_Type.ML
2002-02-21 wenzelm 2002-02-21 bind_thms basic_monos;
2000-10-12 nipkow 2000-10-12 *** empty log message ***