# HG changeset patch
# User chaieb
# Date 1180949914 -7200
# Node ID aef7b4e5c8fe1256b817ba3705335988426b6803
# Parent  b70c8c2283c2132570c56484154575bbdae693f6
opaque-constraint removed

diff -r b70c8c2283c2 -r aef7b4e5c8fe src/Pure/General/rat.ML
--- 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;