# HG changeset patch
# User haftmann
# Date 1161361344 -7200
# Node ID 1c898a0c0f2d3860435fb2d1cdb40214d8dfb1fb
# Parent  a1de02f047d0114b66b90d2496693f564395342a
removed antisym_setup.ML

diff -r a1de02f047d0 -r 1c898a0c0f2d src/HOL/IsaMakefile
--- 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	\