1.1 --- a/src/Tools/isac/ProgLang/Script.thy	Tue May 03 11:16:55 2011 +0200
     1.2 +++ b/src/Tools/isac/ProgLang/Script.thy	Tue May 03 15:58:04 2011 +0200
     1.3 @@ -162,7 +162,7 @@
     1.4     "Take","Subproblem","Or'_to'_List"]));
     1.5  
     1.6  val screxpr = Unsynchronized.ref (distinct (remove op = ""
     1.7 -  ["HOL.Let","If","Repeat","While","Try","Or"]));
     1.8 +  ["Let","If","Repeat","While","Try","Or"]));
     1.9  
    1.10  val listfuns = Unsynchronized.ref [(*_all_ functions in Isa99.List.thy *)
    1.11      "@","filter","concat","foldl","hd","last","set","list_all",