src/HOL/Quot/NPAIR.thy
1998-07-24 berghofe 1998-07-24 Adapted to new datatype package.
1998-01-08 oheimb 1998-01-08 streamlined specification of included theories
1997-10-10 wenzelm 1997-10-10 fixed dots;
1997-04-04 slotosch 1997-04-04 Example for higher order quotients: Fractionals