equal
deleted
inserted
replaced
22 func.ML simpdata.ML Bool.thy Bool.ML \ |
22 func.ML simpdata.ML Bool.thy Bool.ML \ |
23 Sum.thy Sum.ML QPair.thy QPair.ML mono.ML Fixedpt.thy Fixedpt.ML \ |
23 Sum.thy Sum.ML QPair.thy QPair.ML mono.ML Fixedpt.thy Fixedpt.ML \ |
24 ind_syntax.ML intr_elim.ML indrule.ML inductive.ML coinductive.ML \ |
24 ind_syntax.ML intr_elim.ML indrule.ML inductive.ML coinductive.ML \ |
25 equalities.ML Perm.thy Perm.ML Rel.thy Rel.ML Trancl.thy Trancl.ML \ |
25 equalities.ML Perm.thy Perm.ML Rel.thy Rel.ML Trancl.thy Trancl.ML \ |
26 WF.thy WF.ML Order.thy Order.ML Ordinal.thy Ordinal.ML \ |
26 WF.thy WF.ML Order.thy Order.ML Ordinal.thy Ordinal.ML \ |
27 OrderType.thy OrderType.ML OrderArith.thy OrderArith.ML \ |
27 OrderArith.thy OrderArith.ML OrderType.thy OrderType.ML \ |
28 Cardinal.thy Cardinal.ML CardinalArith.thy CardinalArith.ML \ |
28 Cardinal.thy Cardinal.ML CardinalArith.thy CardinalArith.ML \ |
29 Nat.thy Nat.ML \ |
29 Nat.thy Nat.ML \ |
30 Epsilon.thy Epsilon.ML Arith.thy Arith.ML Univ.thy Univ.ML \ |
30 Epsilon.thy Epsilon.ML Arith.thy Arith.ML Univ.thy Univ.ML \ |
31 QUniv.thy QUniv.ML constructor.ML Datatype.ML \ |
31 QUniv.thy QUniv.ML constructor.ML Datatype.ML \ |
32 Fin.ML List.ML ListFn.thy ListFn.ML |
32 Fin.ML List.ML ListFn.thy ListFn.ML |