--- a/src/HOL/IsaMakefile Tue Aug 31 18:38:30 2010 +0200
+++ b/src/HOL/IsaMakefile Wed Sep 01 07:53:31 2010 +0200
@@ -213,6 +213,7 @@
Tools/sat_funcs.ML \
Tools/sat_solver.ML \
Tools/split_rule.ML \
+ Tools/try.ML \
Tools/typedef.ML \
Transitive_Closure.thy \
Typedef.thy \