--- a/src/HOL/IsaMakefile Mon Mar 04 22:32:58 2002 +0100
+++ b/src/HOL/IsaMakefile Tue Mar 05 17:09:15 2002 +0100
@@ -21,6 +21,7 @@
HOL-Real-HahnBanach \
HOL-Real-ex \
HOL-Hoare \
+ HOL-HoareParallel \
HOL-IMP \
HOL-IMPP \
HOL-IOA \
@@ -295,6 +296,7 @@
HoareParallel/OG_Com.thy HoareParallel/OG_Examples.thy \
HoareParallel/OG_Hoare.thy HoareParallel/OG_Syntax.thy \
HoareParallel/OG_Tactics.thy HoareParallel/OG_Tran.thy \
+ HoareParallel/Quote_Antiquote.thy \
HoareParallel/RG_Com.thy HoareParallel/RG_Examples.thy \
HoareParallel/RG_Hoare.thy HoareParallel/RG_Syntax.thy \
HoareParallel/RG_Tran.thy HoareParallel/ROOT.ML \