equal
deleted
inserted
replaced
53 Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \ |
53 Tools/datatype_abs_proofs.ML Tools/datatype_package.ML \ |
54 Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \ |
54 Tools/datatype_prop.ML Tools/datatype_rep_proofs.ML \ |
55 Tools/inductive_package.ML Tools/primrec_package.ML \ |
55 Tools/inductive_package.ML Tools/primrec_package.ML \ |
56 Tools/record_package.ML Tools/typedef_package.ML Trancl.ML \ |
56 Tools/record_package.ML Tools/typedef_package.ML Trancl.ML \ |
57 Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML WF.thy \ |
57 Trancl.thy Univ.ML Univ.thy Vimage.ML Vimage.thy WF.ML WF.thy \ |
58 WF_Rel.ML WF_Rel.thy arith_data.ML cladata.ML equalities.ML \ |
58 WF_Rel.ML WF_Rel.thy cladata.ML equalities.ML \ |
59 equalities.thy hologic.ML mono.ML mono.thy simpdata.ML subset.ML \ |
59 equalities.thy hologic.ML mono.ML mono.thy simpdata.ML subset.ML \ |
60 subset.thy thy_syntax.ML |
60 subset.thy thy_syntax.ML |
61 @$(ISATOOL) usedir -b $(OUT)/Pure HOL |
61 @$(ISATOOL) usedir -b $(OUT)/Pure HOL |
62 |
62 |
63 |
63 |