equal
deleted
inserted
replaced
4 # IsaMakefile for ZF |
4 # IsaMakefile for ZF |
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 = ZF upair subset pair domrange \ |
11 NAMES = ZF upair subset pair domrange \ |
12 func AC equalities Bool \ |
12 func AC equalities Bool \ |
13 Sum QPair mono Fixedpt ind_syntax cartprod add_ind_def \ |
13 Sum QPair mono Fixedpt ind_syntax cartprod add_ind_def \ |
14 constructor intr_elim indrule Inductive Perm Rel EquivClass Trancl \ |
14 constructor intr_elim indrule Inductive Perm Rel EquivClass Trancl \ |