src/HOL/Quot/NPAIR.ML
1997-12-24 ago New Auto_tac (by Oheimb), and new syntax (without parens), and expandshort
1997-06-23 ago Ran expandshort
1997-04-04 ago Example for higher order quotients: Fractionals