changeset 58660 | 8d4aebb9e327 |
parent 58657 | c917dc025184 |
child 58800 | bfed1c26caed |
--- a/src/Pure/Pure.thy Mon Oct 13 18:45:48 2014 +0200 +++ b/src/Pure/Pure.thy Mon Oct 13 19:34:10 2014 +0200 @@ -120,7 +120,6 @@ ML_file "Tools/proof_general_pure.ML" ML_file "Tools/simplifier_trace.ML" ML_file "Tools/named_theorems.ML" -ML_file "Tools/plugin.ML" section \<open>Basic attributes\<close>