diff -r 5164177cf0a6 -r 98f0a09a33c3 src/HOL/IsaMakefile
--- 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		   \