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 HOL.thy HOL.ML simpdata.ML Ord.thy Ord.ML \ |
21 FILES = ROOT.ML HOL.thy HOL.ML simpdata.ML Ord.thy Ord.ML \ |
22 fun.ML Set.thy Set.ML subset.ML equalities.ML \ |
22 Set.thy Set.ML Fun.thy Fun.ML subset.thy subset.ML \ |
|
23 equalities.thy equalities.ML \ |
23 Prod.thy Prod.ML Sum.thy Sum.ML WF.thy WF.ML \ |
24 Prod.thy Prod.ML Sum.thy Sum.ML WF.thy WF.ML \ |
24 mono.ML Lfp.thy Lfp.ML Gfp.thy Gfp.ML Nat.thy Nat.ML \ |
25 mono.thy mono.ML Lfp.thy Lfp.ML Gfp.thy Gfp.ML Nat.thy Nat.ML \ |
25 Arith.thy Arith.ML Sexp.thy Sexp.ML Univ.thy Univ.ML \ |
26 Arith.thy Arith.ML Sexp.thy Sexp.ML Univ.thy Univ.ML \ |
26 LList.thy LList.ML List.thy List.ML \ |
27 LList.thy LList.ML List.thy List.ML \ |
27 Datatype.ML \ |
28 Datatype.ML \ |
28 ../Provers/classical.ML ../Provers/simplifier.ML \ |
29 ../Provers/classical.ML ../Provers/simplifier.ML \ |
29 ../Provers/splitter.ML ../Provers/ind.ML |
30 ../Provers/splitter.ML ../Provers/ind.ML |