src/HOL/IsaMakefile
changeset 33298 dfda74619509
parent 33285 a0de1d5c7b3d
parent 33296 a3924d1069e5
child 33308 cf62d1690d04
child 33318 ddd97d9dfbfb
child 33566 1c62ac4ef6d1
     1.1 --- a/src/HOL/IsaMakefile	Wed Oct 28 23:21:45 2009 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Oct 29 08:14:39 2009 +0100
     1.3 @@ -138,7 +138,6 @@
     1.4  PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
     1.5    Complete_Lattice.thy \
     1.6    Datatype.thy \
     1.7 -  Divides.thy \
     1.8    Extraction.thy \
     1.9    Finite_Set.thy \
    1.10    Fun.thy \
    1.11 @@ -246,6 +245,7 @@
    1.12    ATP_Linkup.thy \
    1.13    Code_Evaluation.thy \
    1.14    Code_Numeral.thy \
    1.15 +  Divides.thy \
    1.16    Equiv_Relations.thy \
    1.17    Groebner_Basis.thy \
    1.18    Hilbert_Choice.thy \