equal
deleted
inserted
replaced
4 # IsaMakefile for HOL |
4 # IsaMakefile for HOL |
5 # |
5 # |
6 |
6 |
7 #### Base system |
7 #### Base system |
8 |
8 |
9 OUT = $(ISABELLE_OUTPUT_DIR) |
9 OUT = $(ISABELLE_OUTPUT) |
10 |
10 |
11 NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF \ |
11 NAMES = HOL Ord Set Fun subset equalities Prod Relation Trancl Sum WF \ |
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 Sexp Univ List RelPow Option |
14 |
14 |