src/HOL/Tools/Qelim/cooper.ML
changeset 36527 68a837d1a754
parent 35410 1ea89d2a1bd4
child 36692 54b64d4ad524
child 36701 787c33a0e468
     1.1 --- a/src/HOL/Tools/Qelim/cooper.ML	Wed Apr 28 21:41:05 2010 +0200
     1.2 +++ b/src/HOL/Tools/Qelim/cooper.ML	Wed Apr 28 21:41:05 2010 +0200
     1.3 @@ -536,7 +536,7 @@
     1.4  structure Coopereif =
     1.5  struct
     1.6  
     1.7 -open GeneratedCooper;
     1.8 +open Generated_Cooper;
     1.9  
    1.10  fun cooper s = raise Cooper.COOPER ("Cooper oracle failed", ERROR s);
    1.11  fun i_of_term vs t = case t