equal
deleted
inserted
replaced
266 MiniML/Generalize.thy MiniML/Instance.ML MiniML/Instance.thy \ |
266 MiniML/Generalize.thy MiniML/Instance.ML MiniML/Instance.thy \ |
267 MiniML/Maybe.ML MiniML/Maybe.thy MiniML/MiniML.ML MiniML/MiniML.thy \ |
267 MiniML/Maybe.ML MiniML/Maybe.thy MiniML/MiniML.ML MiniML/MiniML.thy \ |
268 MiniML/ROOT.ML MiniML/Type.ML MiniML/Type.thy MiniML/W.ML MiniML/W.thy |
268 MiniML/ROOT.ML MiniML/Type.ML MiniML/Type.thy MiniML/W.ML MiniML/W.thy |
269 @$(ISATOOL) usedir $(OUT)/HOL MiniML |
269 @$(ISATOOL) usedir $(OUT)/HOL MiniML |
270 |
270 |
|
271 |
271 ## HOL-BCV |
272 ## HOL-BCV |
272 |
273 |
273 HOL-BCV:HOL $(LOG)/HOL-BCV.gz |
274 HOL-BCV: HOL $(LOG)/HOL-BCV.gz |
274 |
275 |
275 $(LOG)/HOL-BCV.gz: $(OUT)/HOL BCV/DFAandWTI.ML \ |
276 $(LOG)/HOL-BCV.gz: $(OUT)/HOL BCV/DFAandWTI.ML \ |
276 BCV/DFAandWTI.thy BCV/DFAimpl.ML BCV/DFAimpl.thy \ |
277 BCV/DFAandWTI.thy BCV/DFAimpl.ML BCV/DFAimpl.thy \ |
277 BCV/Fixpoint.ML BCV/Fixpoint.thy BCV/Machine.ML BCV/Machine.thy \ |
278 BCV/Fixpoint.ML BCV/Fixpoint.thy BCV/Machine.ML BCV/Machine.thy \ |
278 BCV/Orders.ML BCV/Orders.thy BCV/Orders0.ML BCV/Orders0.thy \ |
279 BCV/Orders.ML BCV/Orders.thy BCV/Orders0.ML BCV/Orders0.thy \ |
431 $(LOG)/HOL-AxClasses-Group.gz \ |
432 $(LOG)/HOL-AxClasses-Group.gz \ |
432 $(LOG)/HOL-AxClasses-Lattice.gz \ |
433 $(LOG)/HOL-AxClasses-Lattice.gz \ |
433 $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \ |
434 $(LOG)/HOL-AxClasses-Tutorial.gz $(LOG)/HOL-Quot.gz \ |
434 $(LOG)/HOL-ex.gz $(LOG)/HOL-Isar_examples.gz $(OUT)/TLA \ |
435 $(LOG)/HOL-ex.gz $(LOG)/HOL-Isar_examples.gz $(OUT)/TLA \ |
435 $(LOG)/TLA.gz $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz \ |
436 $(LOG)/TLA.gz $(LOG)/TLA-Inc.gz $(LOG)/TLA-Buffer.gz \ |
436 $(LOG)/TLA-Memory.gz $(LOG)/HOL-Real-ex.gz \ |
437 $(LOG)/TLA-Memory.gz $(LOG)/HOL-Real.gz $(LOG)/HOL-Real-ex.gz \ |
437 $(LOG)/HOL-Real-HahnBanach.gz |
438 $(LOG)/HOL-Real-HahnBanach.gz |