src/HOL/IsaMakefile
changeset 32139 e271a64f03ff
parent 31990 1d4d0b305f16
child 32161 abda97d2deea
     1.1 --- a/src/HOL/IsaMakefile	Wed Jul 22 14:21:52 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jul 22 18:02:10 2009 +0200
     1.3 @@ -117,6 +117,7 @@
     1.4  	@$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base
     1.5  
     1.6  PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\
     1.7 +  Complete_Lattice.thy \
     1.8    Datatype.thy \
     1.9    Divides.thy \
    1.10    Extraction.thy \