src/HOL/Induct/ROOT.ML

--- a/src/HOL/Induct/ROOT.ML	Wed Jul 11 11:13:08 2007 +0200
+++ b/src/HOL/Induct/ROOT.ML	Wed Jul 11 11:14:51 2007 +0200
@@ -13,3 +13,4 @@
 time_use_thy "PropLog";
 time_use_thy "SList";
 time_use_thy "LFilter";
+time_use_thy "Com";