--- a/src/HOL/IsaMakefile Thu Jul 03 12:56:48 2003 +0200
+++ b/src/HOL/IsaMakefile Thu Jul 03 18:07:50 2003 +0200
@@ -389,8 +389,7 @@
UNITY/Simple/Network.thy\
UNITY/Simple/Reach.thy UNITY/Simple/Reachability.thy UNITY/Simple/Token.thy\
UNITY/Comp/Alloc.ML UNITY/Comp/Alloc.thy \
- UNITY/Comp/AllocBase.thy \
- UNITY/Comp/Client.ML UNITY/Comp/Client.thy \
+ UNITY/Comp/AllocBase.thy UNITY/Comp/AllocImpl.thy UNITY/Comp/Client.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 \