1.1 --- a/src/Tools/isac/Knowledge/DiffApp.thy	Sun Oct 14 14:43:41 2012 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/DiffApp.thy	Sun Oct 14 20:00:27 2012 +0200
     1.3 @@ -73,7 +73,7 @@
     1.4  		Calc ("Atools.occurs'_in",eval_occurs_in ""),    
     1.5  		Calc ("Tools.matches",eval_matches "")
     1.6  	       ],
     1.7 -      scr = Script ((term_of o the o (parse thy)) "empty_script")
     1.8 +      scr = Prog ((term_of o the o (parse thy)) "empty_script")
     1.9        }:rls);
    1.10  ruleset' := overwritelthy @{theory}
    1.11  		(!ruleset',