diff -r cb07c3948668 -r 61bd46feb919 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Thu Jul 03 10:37:25 2003 +0200
+++ b/src/HOL/IsaMakefile	Thu Jul 03 12:56:48 2003 +0200
@@ -391,9 +391,8 @@
   UNITY/Comp/Alloc.ML UNITY/Comp/Alloc.thy \
   UNITY/Comp/AllocBase.thy \
   UNITY/Comp/Client.ML UNITY/Comp/Client.thy \
-  UNITY/Comp/Counter.ML UNITY/Comp/Counter.thy \
-  UNITY/Comp/Counterc.ML UNITY/Comp/Counterc.thy UNITY/Comp/Handshake.thy \
-  UNITY/Comp/PriorityAux.ML UNITY/Comp/PriorityAux.thy \
+  UNITY/Comp/Counter.thy UNITY/Comp/Counterc.thy UNITY/Comp/Handshake.thy \
+  UNITY/Comp/PriorityAux.thy \
   UNITY/Comp/Priority.thy UNITY/Comp/Progress.thy \
   UNITY/Comp/TimerArray.thy
 	@$(ISATOOL) usedir $(OUT)/HOL UNITY