1.1 --- a/src/Tools/isac/ProgLang/Script.thy	Mon Sep 06 16:56:22 2010 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Script.thy	Mon Sep 06 17:07:28 2010 +0200
     1.3 @@ -19,11 +19,11 @@
     1.4  
     1.5  (*types of subproblems' arguments*)
     1.6    real_'        :: "real => arg"
     1.7 -  real_list_'   :: "(real list) => arg"
     1.8 -  real_set_'    :: "(real set) => arg"
     1.9 -  bool_'        :: "bool => arg"
    1.10 -  bool_list_'   :: "(bool list) => arg"
    1.11 -  real_real_'   :: "(real => real) => arg"
    1.12 +  REAL_LIST'   :: "(real list) => arg"
    1.13 +  REAL_SET'    :: "(real set) => arg"
    1.14 +  BOOL'        :: "bool => arg"
    1.15 +  BOOL_LIST'   :: "(bool list) => arg"
    1.16 +  REAL_REAL'   :: "(real => real) => arg"
    1.17  
    1.18  (*tactics*)
    1.19    Rewrite      :: "[ID, bool, 'a] => 'a"