src/HOL/Quot/FRACT.thy
1997-04-25 slotosch 1997-04-25 used explcite tactics in instances (since ax_per_trans "loops")
1997-04-04 slotosch 1997-04-04 *** empty log message ***
1997-04-04 slotosch 1997-04-04 Example for higher order quotients: Fractionals