purge remains from test (cf. 5a53724fe247);
authorwenzelm
Sun Jul 28 15:39:30 2019 +0200 (3 weeks ago ago)
changeset 70617495881aadbff
parent 70616 dbb32c2d5c2c
child 70618 2137db107788
child 70619 5422579d0ecc
child 70621 52fbcf7a61f8
purge remains from test (cf. 5a53724fe247);
src/FOL/IFOL.thy
     1.1 --- a/src/FOL/IFOL.thy	Sun Jul 28 14:37:32 2019 +0200
     1.2 +++ b/src/FOL/IFOL.thy	Sun Jul 28 15:39:30 2019 +0200
     1.3 @@ -8,7 +8,6 @@
     1.4  imports Pure
     1.5  begin
     1.6  
     1.7 -ML \<open>\<^assert> (not (can ML \<open>open RunCall\<close>))\<close>
     1.8  ML_file \<open>~~/src/Tools/misc_legacy.ML\<close>
     1.9  ML_file \<open>~~/src/Provers/splitter.ML\<close>
    1.10  ML_file \<open>~~/src/Provers/hypsubst.ML\<close>