equal
deleted
inserted
replaced
21 |
21 |
22 BIN = $(ISABELLEBIN) |
22 BIN = $(ISABELLEBIN) |
23 COMP = $(ISABELLECOMP) |
23 COMP = $(ISABELLECOMP) |
24 NAMES = ZF upair subset pair domrange \ |
24 NAMES = ZF upair subset pair domrange \ |
25 func AC simpdata equalities Bool \ |
25 func AC simpdata equalities Bool \ |
26 Sum QPair mono Fixedpt ind_syntax add_ind_def \ |
26 Sum QPair mono Fixedpt ind_syntax cartprod add_ind_def \ |
27 constructor intr_elim indrule Inductive Perm Rel EquivClass Trancl \ |
27 constructor intr_elim indrule Inductive Perm Rel EquivClass Trancl \ |
28 WF Order Ordinal Epsilon Arith Univ \ |
28 WF Order Ordinal Epsilon Arith Univ \ |
29 QUniv Datatype OrderArith OrderType \ |
29 QUniv Datatype OrderArith OrderType \ |
30 Cardinal CardinalArith Cardinal_AC InfDatatype \ |
30 Cardinal CardinalArith Cardinal_AC InfDatatype \ |
31 Zorn Nat Finite List |
31 Zorn Nat Finite List |