equal
deleted
inserted
replaced
19 HOL-CTL \ |
19 HOL-CTL \ |
20 HOL-GroupTheory \ |
20 HOL-GroupTheory \ |
21 HOL-Real-HahnBanach \ |
21 HOL-Real-HahnBanach \ |
22 HOL-Real-ex \ |
22 HOL-Real-ex \ |
23 HOL-Hoare \ |
23 HOL-Hoare \ |
|
24 HOL-HoareParallel \ |
24 HOL-IMP \ |
25 HOL-IMP \ |
25 HOL-IMPP \ |
26 HOL-IMPP \ |
26 HOL-IOA \ |
27 HOL-IOA \ |
27 HOL-Induct \ |
28 HOL-Induct \ |
28 HOL-Isar_examples \ |
29 HOL-Isar_examples \ |
293 $(LOG)/HOL-HoareParallel.gz: $(OUT)/HOL HoareParallel/Gar_Coll.thy \ |
294 $(LOG)/HOL-HoareParallel.gz: $(OUT)/HOL HoareParallel/Gar_Coll.thy \ |
294 HoareParallel/Graph.thy HoareParallel/Mul_Gar_Coll.thy \ |
295 HoareParallel/Graph.thy HoareParallel/Mul_Gar_Coll.thy \ |
295 HoareParallel/OG_Com.thy HoareParallel/OG_Examples.thy \ |
296 HoareParallel/OG_Com.thy HoareParallel/OG_Examples.thy \ |
296 HoareParallel/OG_Hoare.thy HoareParallel/OG_Syntax.thy \ |
297 HoareParallel/OG_Hoare.thy HoareParallel/OG_Syntax.thy \ |
297 HoareParallel/OG_Tactics.thy HoareParallel/OG_Tran.thy \ |
298 HoareParallel/OG_Tactics.thy HoareParallel/OG_Tran.thy \ |
|
299 HoareParallel/Quote_Antiquote.thy \ |
298 HoareParallel/RG_Com.thy HoareParallel/RG_Examples.thy \ |
300 HoareParallel/RG_Com.thy HoareParallel/RG_Examples.thy \ |
299 HoareParallel/RG_Hoare.thy HoareParallel/RG_Syntax.thy \ |
301 HoareParallel/RG_Hoare.thy HoareParallel/RG_Syntax.thy \ |
300 HoareParallel/RG_Tran.thy HoareParallel/ROOT.ML \ |
302 HoareParallel/RG_Tran.thy HoareParallel/ROOT.ML \ |
301 HoareParallel/document/root.tex |
303 HoareParallel/document/root.tex |
302 @$(ISATOOL) usedir $(OUT)/HOL HoareParallel |
304 @$(ISATOOL) usedir $(OUT)/HOL HoareParallel |