1.1 --- a/src/Tools/isac/Knowledge/Test.thy	Thu Aug 22 15:56:48 2019 +0200
     1.2 +++ b/src/Tools/isac/Knowledge/Test.thy	Thu Aug 22 16:48:04 2019 +0200
     1.3 @@ -759,7 +759,7 @@
     1.4  	Rule.Calc ("Atools.pow", eval_binop "#power_")
     1.5  	],
     1.6        scr = Rule.EmptyScr
     1.7 -(*Script ((Thm.term_of o the o (parse thy)) scr_expand_binomtest)*)
     1.8 +(*Program ((Thm.term_of o the o (parse thy)) scr_expand_binomtest)*)
     1.9        };      
    1.10  \<close>
    1.11  setup \<open>KEStore_Elems.add_rlss