src/HOL/IsaMakefile
changeset 17919 09adb77ac16c
parent 17905 1574533861b1
child 17939 3925ab7b8a18
     1.1 --- a/src/HOL/IsaMakefile	Wed Oct 19 21:52:30 2005 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Oct 19 21:52:31 2005 +0200
     1.3 @@ -114,7 +114,6 @@
     1.4    Typedef.thy Wellfounded_Recursion.thy Wellfounded_Relations.thy		\
     1.5    antisym_setup.ML arith_data.ML blastdata.ML cladata.ML			\
     1.6    document/root.tex eqrule_HOL_data.ML hologic.ML simpdata.ML	\
     1.7 -  thy_syntax.ML  \
     1.8    ResAtpOracle.thy                                                             \
     1.9    ResAtpMethods.thy \
    1.10    Tools/res_atp_setup.ML Tools/res_atp_provers.ML Tools/res_atp_methods.ML