src/HOL/IsaMakefile
changeset 35053 43175817d83b
parent 35050 9f841f20dca6
child 35079 592edca1dfb3
     1.1 --- a/src/HOL/IsaMakefile	Mon Feb 08 17:13:45 2010 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Mon Feb 08 21:26:52 2010 +0100
     1.3 @@ -787,18 +787,21 @@
     1.4    Decision_Procs/Approximation.thy \
     1.5    Decision_Procs/Commutative_Ring.thy \
     1.6    Decision_Procs/Commutative_Ring_Complete.thy \
     1.7 -  Decision_Procs/commutative_ring_tac.ML \
     1.8    Decision_Procs/Cooper.thy \
     1.9 -  Decision_Procs/cooper_tac.ML \
    1.10 +  Decision_Procs/Decision_Procs.thy \
    1.11    Decision_Procs/Dense_Linear_Order.thy \
    1.12    Decision_Procs/Ferrack.thy \
    1.13 -  Decision_Procs/ferrack_tac.ML \
    1.14    Decision_Procs/MIR.thy \
    1.15 -  Decision_Procs/mir_tac.ML \
    1.16 -  Decision_Procs/Decision_Procs.thy \
    1.17 -  Decision_Procs/ex/Dense_Linear_Order_Ex.thy \
    1.18 +  Decision_Procs/Parametric_Ferrante_Rackoff.thy \
    1.19 +  Decision_Procs/Polynomial_List.thy \
    1.20 +  Decision_Procs/Reflected_Multivariate_Polynomial.thy \
    1.21 +  Decision_Procs/commutative_ring_tac.ML \
    1.22 +  Decision_Procs/cooper_tac.ML \
    1.23    Decision_Procs/ex/Approximation_Ex.thy \
    1.24    Decision_Procs/ex/Commutative_Ring_Ex.thy \
    1.25 +  Decision_Procs/ex/Dense_Linear_Order_Ex.thy \
    1.26 +  Decision_Procs/ferrack_tac.ML \
    1.27 +  Decision_Procs/mir_tac.ML \
    1.28    Decision_Procs/ROOT.ML
    1.29  	@$(ISABELLE_TOOL) usedir $(OUT)/HOL Decision_Procs
    1.30