| changeset 35719 | 99b6152aedf5 |
| parent 35617 | a6528fb99641 |
| child 35725 | 4d7e3cc9c52c |
--- a/src/HOL/IsaMakefile Wed Mar 10 08:04:50 2010 +0100 +++ b/src/HOL/IsaMakefile Wed Mar 10 16:53:27 2010 +0100 @@ -142,6 +142,7 @@ @$(ISABELLE_TOOL) usedir -b -f base.ML -d false -g false $(OUT)/Pure HOL-Base PLAIN_DEPENDENCIES = $(BASE_DEPENDENCIES)\ + Big_Operators.thy \ Complete_Lattice.thy \ Datatype.thy \ Extraction.thy \