1.1 --- a/src/Tools/isac/ProgLang/Prog_Tac.thy	Tue Oct 01 10:47:25 2019 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Prog_Tac.thy	Wed Oct 02 15:14:51 2019 +0200
     1.3 @@ -36,11 +36,11 @@
     1.4  consts
     1.5    Calculate    :: "[char list, 'a] => 'a"
     1.6    Rewrite      :: "[char list, 'a] => 'a"
     1.7 -  Rewrite'_Inst:: "[(char list * real) list, char list, 'a] => 'a"
     1.8 +  Rewrite'_Inst:: "[(char list * 'b) list, char list, 'a] => 'a"
     1.9  			               ("(Rewrite'_Inst (_ _))" 11) (*without last argument ^^ for @@*)
    1.10    Rewrite'_Set :: "[char list, 'a] => 'a" ("(Rewrite'_Set (_))" 11)
    1.11    Rewrite'_Set'_Inst
    1.12 -               :: "[((char list) * real) list, char list, 'a] => 'a"
    1.13 +               :: "[((char list) * 'b) list, char list, 'a] => 'a"
    1.14  		                 ("(Rewrite'_Set'_Inst (_ _))" 11) (*without last argument ^^ for @@*)
    1.15    Or'_to'_List :: "bool => 'a list"  ("Or'_to'_List (_)" 11)
    1.16    SubProblem   :: "[char list * char list list * char list list, arg list] => 'a"