--- a/src/Pure/Pure.thy Fri Jan 17 20:20:20 2014 +0100
+++ b/src/Pure/Pure.thy Fri Jan 17 20:31:39 2014 +0100
@@ -103,6 +103,7 @@
begin
ML_file "Isar/isar_syn.ML"
+ML_file "Tools/rail.ML"
ML_file "Tools/rule_insts.ML";
ML_file "Tools/find_theorems.ML"
ML_file "Tools/find_consts.ML"