--- a/src/HOL/HOL.thy Tue Aug 31 23:52:59 2010 +0200
+++ b/src/HOL/HOL.thy Wed Sep 01 00:03:15 2010 +0200
@@ -30,6 +30,7 @@
"~~/src/Tools/induct.ML"
("~~/src/Tools/induct_tacs.ML")
("Tools/recfun_codegen.ML")
+ "Tools/async_manager.ML"
"Tools/try.ML"
begin