| changeset 70432 | 495881aadbff |
| parent 69605 | a96320074298 |
| child 70880 | de2e2382bc0d |
--- 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>