Target HoareParallel in IsaMakefile
authorprensani
Tue Mar 05 17:09:15 2002 +0100 (2002-03-05)
changeset 1301998f0a09a33c3
parent 13018 5164177cf0a6
child 13020 791e3b4c4039
Target HoareParallel in IsaMakefile
src/HOL/IsaMakefile
     1.1 --- a/src/HOL/IsaMakefile	Mon Mar 04 22:32:58 2002 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Mar 05 17:09:15 2002 +0100
     1.3 @@ -21,6 +21,7 @@
     1.4        HOL-Real-HahnBanach \
     1.5        HOL-Real-ex \
     1.6    HOL-Hoare \
     1.7 +  HOL-HoareParallel \
     1.8    HOL-IMP \
     1.9    HOL-IMPP \
    1.10    HOL-IOA \
    1.11 @@ -295,6 +296,7 @@
    1.12    HoareParallel/OG_Com.thy HoareParallel/OG_Examples.thy	   \
    1.13    HoareParallel/OG_Hoare.thy HoareParallel/OG_Syntax.thy	   \
    1.14    HoareParallel/OG_Tactics.thy HoareParallel/OG_Tran.thy	   \
    1.15 +  HoareParallel/Quote_Antiquote.thy                                \
    1.16    HoareParallel/RG_Com.thy HoareParallel/RG_Examples.thy	   \
    1.17    HoareParallel/RG_Hoare.thy HoareParallel/RG_Syntax.thy	   \
    1.18    HoareParallel/RG_Tran.thy HoareParallel/ROOT.ML		   \