equal
deleted
inserted
replaced
189 |
189 |
190 ## HOL-Subst |
190 ## HOL-Subst |
191 |
191 |
192 HOL-Subst: HOL $(LOG)/HOL-Subst.gz |
192 HOL-Subst: HOL $(LOG)/HOL-Subst.gz |
193 |
193 |
194 $(LOG)/HOL-Subst.gz: $(OUT)/HOL Subst/AList.ML Subst/AList.thy \ |
194 $(LOG)/HOL-Subst.gz: $(OUT)/HOL Subst/AList.thy \ |
195 Subst/ROOT.ML Subst/Subst.ML Subst/Subst.thy Subst/UTerm.ML \ |
195 Subst/ROOT.ML Subst/Subst.thy Subst/UTerm.thy Subst/Unifier.thy \ |
196 Subst/UTerm.thy Subst/Unifier.ML Subst/Unifier.thy Subst/Unify.ML \ |
|
197 Subst/Unify.thy |
196 Subst/Unify.thy |
198 @$(ISATOOL) usedir $(OUT)/HOL Subst |
197 @$(ISATOOL) usedir $(OUT)/HOL Subst |
199 |
198 |
200 |
199 |
201 ## HOL-Induct |
200 ## HOL-Induct |