src/Pure/Pure.thy

--- a/src/Pure/Pure.thy	Sun Oct 05 15:05:26 2014 +0200
+++ b/src/Pure/Pure.thy	Sun Oct 05 16:05:17 2014 +0200
@@ -110,6 +110,7 @@
 ML_file "Tools/print_operation.ML"
 ML_file "Isar/isar_syn.ML"
 ML_file "Isar/calculation.ML"
+ML_file "Tools/bibtex.ML"
 ML_file "Tools/rail.ML"
 ML_file "Tools/rule_insts.ML";
 ML_file "Tools/thm_deps.ML";