
diff -r a2719d9fe512 -r 0d22a6bf1fc6 src/Tools/isac/ProgLang/ListC.thy
--- a/src/Tools/isac/ProgLang/ListC.thy	Mon Jul 19 18:39:02 2021 +0200
+++ b/src/Tools/isac/ProgLang/ListC.thy	Tue Jul 20 14:37:56 2021 +0200
@@ -25,8 +25,8 @@
 
 ML \<open>
 \<close> ML \<open>
-val UniversalList = (Thm.term_of o the o (TermC.parse @{theory})) "UniversalList";
-val EmptyList = (Thm.term_of o the o (TermC.parse @{theory}))  "[]::bool list";     
+val UniversalList = TermC.parseNEW'' @{theory} "UniversalList";
+val EmptyList = TermC.parseNEW'' @{theory} "[]::bool list";     
 \<close> ML \<open>
 \<close>
 




