src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Tue Aug 19 17:00:44 2014 +0200
+++ b/src/Pure/ROOT.ML	Tue Aug 19 18:11:04 2014 +0200
@@ -255,6 +255,7 @@
 (** bootstrap phase 2: towards Pure.thy and final ML toplevel setup *)
 
 (*basic proof engine*)
+use "par_tactical.ML";
 use "Isar/proof_display.ML";
 use "Isar/attrib.ML";
 use "Isar/context_rules.ML";