| changeset 58657 | c917dc025184 |
| parent 58612 | dbe216a75a4b |
| child 58660 | 8d4aebb9e327 |
--- a/src/Pure/Pure.thy Sun Oct 12 21:52:45 2014 +0200 +++ b/src/Pure/Pure.thy Mon Oct 13 15:45:23 2014 +0200 @@ -120,6 +120,7 @@ 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>