--- a/src/HOL/IsaMakefile Fri Oct 20 18:20:22 2006 +0200
+++ b/src/HOL/IsaMakefile Fri Oct 20 18:22:24 2006 +0200
@@ -119,7 +119,7 @@
Tools/typedef_package.ML Tools/typedef_codegen.ML \
Transitive_Closure.ML Transitive_Closure.thy \
Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy \
- antisym_setup.ML arith_data.ML blastdata.ML cladata.ML \
+ arith_data.ML blastdata.ML cladata.ML \
document/root.tex hologic.ML simpdata.ML ResAtpMethods.thy \
Tools/res_atp_provers.ML Tools/res_atp_methods.ML \
Tools/res_hol_clause.ML \