| changeset 56864 | 0446c7ac2e32 |
| parent 56797 | 32963b43a538 |
| child 57415 | e721124f1b1e |
--- a/src/Pure/Pure.thy Mon May 05 11:53:07 2014 +0200 +++ b/src/Pure/Pure.thy Mon May 05 15:17:07 2014 +0200 @@ -108,6 +108,7 @@ ML_file "ML/ml_antiquotations.ML" ML_file "ML/ml_thms.ML" +ML_file "Tools/print_operation.ML" ML_file "Isar/isar_syn.ML" ML_file "Isar/calculation.ML" ML_file "Tools/rail.ML"