src/HOL/Quot/HQUOT.ML
1999-01-29 paulson 1999-01-29 expandshort
1998-11-13 paulson 1998-11-13 needed tidying desperately
1998-06-22 wenzelm 1998-06-22 isatool fixgoal;
1997-12-24 paulson 1997-12-24 New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-06-23 paulson 1997-06-23 Ran expandshort
1997-04-04 slotosch 1997-04-04 (higher-order) quotient constructor quot, based on PER