diff -r 3d5807d45439 -r 7c3d4e57e3d4 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Mar 01 22:32:38 2002 +0100
+++ b/src/HOL/IsaMakefile	Sat Mar 02 00:28:55 2002 +0100
@@ -21,7 +21,6 @@
       HOL-Real-HahnBanach \
       HOL-Real-ex \
   HOL-Hoare \
-  HOL-HoareParallel \
   HOL-IMP \
   HOL-IMPP \
   HOL-IOA \