--- a/src/Pure/General/rat.ML Mon Jun 04 09:57:02 2007 +0200
+++ b/src/Pure/General/rat.ML Mon Jun 04 11:38:34 2007 +0200
@@ -29,7 +29,7 @@
val rounddown: rat -> rat
end;
-structure Rat :> RAT =
+structure Rat : RAT =
struct
datatype rat = Rat of bool * Intt.int * Intt.int;
@@ -122,10 +122,10 @@
end;
-infix 6 +/; (*FIXME infix 5?*)
+infix 5 +/; (*FIXME infix 5?*)
infix 5 -/;
infix 7 */;
-infix 8 //; (*FIXME infix 7?*)
+infix 7 //; (*FIXME infix 7?*)
infix 4 =/ </ <=/ >/ >=/ <>/;
fun a +/ b = Rat.add a b;