Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
purge remains from test (cf. 5a53724fe247);
authorwenzelm
Sun, 28 Jul 2019 15:39:30 +0200
changeset 70432 495881aadbff
parent 70431 dbb32c2d5c2c
child 70433 2137db107788
child 70435 52fbcf7a61f8
purge remains from test (cf. 5a53724fe247);
src/FOL/IFOL.thy file | annotate | diff | comparison | revisions 
--- a/src/FOL/IFOL.thy	Sun Jul 28 14:37:32 2019 +0200
+++ b/src/FOL/IFOL.thy	Sun Jul 28 15:39:30 2019 +0200
@@ -8,7 +8,6 @@
 imports Pure
 begin
 
-ML \<open>\<^assert> (not (can ML \<open>open RunCall\<close>))\<close>
 ML_file \<open>~~/src/Tools/misc_legacy.ML\<close>
 ML_file \<open>~~/src/Provers/splitter.ML\<close>
 ML_file \<open>~~/src/Provers/hypsubst.ML\<close>
isabelle