equal
deleted
inserted
replaced
8 |
8 |
9 OUT = $(ISABELLE_OUTPUT) |
9 OUT = $(ISABELLE_OUTPUT) |
10 |
10 |
11 NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF WF_Rel \ |
11 NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF WF_Rel \ |
12 mono Lfp Gfp NatDef Nat intr_elim indrule Inductive Finite Arith \ |
12 mono Lfp Gfp NatDef Nat intr_elim indrule Inductive Finite Arith \ |
13 Sexp Univ List RelPow Option |
13 Divides Sexp Univ List RelPow Option |
14 |
14 |
15 PROVERS = hypsubst.ML classical.ML blast.ML \ |
15 PROVERS = hypsubst.ML classical.ML blast.ML \ |
16 simplifier.ML splitter.ML nat_transitive.ML |
16 simplifier.ML splitter.ML nat_transitive.ML |
17 |
17 |
18 TFL = dcterm.sml post.sml rules.new.sml rules.sig \ |
18 TFL = dcterm.sml post.sml rules.new.sml rules.sig \ |