equal
deleted
inserted
replaced
17 #if it is out of date, since this Makefile does not know its dependencies! |
17 #if it is out of date, since this Makefile does not know its dependencies! |
18 |
18 |
19 BIN = $(ISABELLEBIN) |
19 BIN = $(ISABELLEBIN) |
20 COMP = $(ISABELLECOMP) |
20 COMP = $(ISABELLECOMP) |
21 FILES = ROOT.ML ZF.thy ZF.ML upair.thy upair.ML subset.thy subset.ML \ |
21 FILES = ROOT.ML ZF.thy ZF.ML upair.thy upair.ML subset.thy subset.ML \ |
22 pair.thy pair.ML domrange.thy domrange.ML \ |
22 thy_syntax.ML pair.thy pair.ML domrange.thy domrange.ML \ |
23 func.thy func.ML AC.thy AC.ML simpdata.thy simpdata.ML\ |
23 func.thy func.ML AC.thy AC.ML simpdata.thy simpdata.ML\ |
24 equalities.thy equalities.ML Bool.thy Bool.ML \ |
24 equalities.thy equalities.ML Bool.thy Bool.ML \ |
25 Sum.thy Sum.ML QPair.thy QPair.ML mono.ML Fixedpt.thy Fixedpt.ML \ |
25 Sum.thy Sum.ML QPair.thy QPair.ML mono.ML Fixedpt.thy Fixedpt.ML \ |
26 ../Pure/section_utils.ML ind_syntax.thy ind_syntax.ML \ |
26 ../Pure/section_utils.ML ind_syntax.thy ind_syntax.ML \ |
27 add_ind_def.thy add_ind_def.ML \ |
27 add_ind_def.thy add_ind_def.ML \ |