1.1 --- a/src/Tools/isac/ProgLang/Script.thy	Mon Sep 06 17:07:28 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Script.thy	Wed Sep 08 10:15:51 2010 +0200
     1.3 @@ -18,12 +18,12 @@
     1.4  consts
     1.5  
     1.6  (*types of subproblems' arguments*)
     1.7 -  real_'        :: "real => arg"
     1.8 -  REAL_LIST'   :: "(real list) => arg"
     1.9 -  REAL_SET'    :: "(real set) => arg"
    1.10 -  BOOL'        :: "bool => arg"
    1.11 -  BOOL_LIST'   :: "(bool list) => arg"
    1.12 -  REAL_REAL'   :: "(real => real) => arg"
    1.13 +  REAL        :: "real => arg"
    1.14 +  REAL_LIST   :: "(real list) => arg"
    1.15 +  REAL_SET    :: "(real set) => arg"
    1.16 +  BOOL        :: "bool => arg"
    1.17 +  BOOL_LIST   :: "(bool list) => arg"
    1.18 +  REAL_REAL   :: "(real => real) => arg"
    1.19  
    1.20  (*tactics*)
    1.21    Rewrite      :: "[ID, bool, 'a] => 'a"