# HG changeset patch
# User wenzelm
# Date 1464787184 -7200
# Node ID 22bd3341b9641589649b1060d4954c44772688fc
# Parent  13b67739af09cbc33922b2a81262daf2946704f7
tuned signature;

diff -r 13b67739af09 -r 22bd3341b964 src/Pure/General/rat.ML
--- a/src/Pure/General/rat.ML	Wed Jun 01 15:17:29 2016 +0200
+++ b/src/Pure/General/rat.ML	Wed Jun 01 15:19:44 2016 +0200
@@ -1,5 +1,6 @@
 (*  Title:      Pure/General/rat.ML
     Author:     Tobias Nipkow, Florian Haftmann, TU Muenchen
+    Author:     Makarius
 
 Canonical implementation of exact rational numbers.
 *)
@@ -8,9 +9,6 @@
 sig
   eqtype rat
   exception DIVZERO
-  val zero: rat
-  val one: rat
-  val two: rat
   val of_int: int -> rat
   val make: int * int -> rat
   val dest: rat -> int * int
@@ -50,10 +48,6 @@
 
 fun of_int i = Rat (i, 1);
 
-val zero = of_int 0;
-val one = of_int 1;
-val two = of_int 2;
-
 fun string_of_rat (Rat (p, q)) =
   string_of_int p ^ "/" ^ string_of_int q;