
diff -r 6ea6d9c377a0 -r ab7955d2ead3 src/Tools/isac/Knowledge/EqSystem.thy
--- a/src/Tools/isac/Knowledge/EqSystem.thy	Sat Jun 22 14:34:06 2019 +0200
+++ b/src/Tools/isac/Knowledge/EqSystem.thy	Sun Jun 23 14:23:09 2019 +0200
@@ -208,7 +208,7 @@
 		(*Rule.Rls_ add_fractions_p, #2*)
 		Rule.Rls_ cancel_p
 		],
-       scr = Rule.Prog ((Thm.term_of o the o (TermC.parse thy)) "empty_script")
+       scr = Rule.EmptyScr
        };
 \<close>
 ML \<open>
@@ -229,7 +229,7 @@
 		Rule.Rls_ add_fractions_p,
 		Rule.Rls_ cancel_p
 		],
-       scr = Rule.Prog ((Thm.term_of o the o (TermC.parse thy)) "empty_script")
+       scr = Rule.EmptyScr
        };
 \<close>
 ML \<open>




