equal
deleted
inserted
replaced
63 Tools/adm_tac.ML \ |
63 Tools/adm_tac.ML \ |
64 Tools/cont_consts.ML \ |
64 Tools/cont_consts.ML \ |
65 Tools/cont_proc.ML \ |
65 Tools/cont_proc.ML \ |
66 Tools/Domain/domain_extender.ML \ |
66 Tools/Domain/domain_extender.ML \ |
67 Tools/Domain/domain_axioms.ML \ |
67 Tools/Domain/domain_axioms.ML \ |
|
68 Tools/Domain/domain_isomorphism.ML \ |
68 Tools/Domain/domain_library.ML \ |
69 Tools/Domain/domain_library.ML \ |
69 Tools/Domain/domain_syntax.ML \ |
70 Tools/Domain/domain_syntax.ML \ |
70 Tools/Domain/domain_theorems.ML \ |
71 Tools/Domain/domain_theorems.ML \ |
71 Tools/fixrec.ML \ |
72 Tools/fixrec.ML \ |
72 Tools/pcpodef.ML \ |
73 Tools/pcpodef.ML \ |