src/HOL/IsaMakefile
changeset 14089 7b34f58b1b81
parent 14088 61bd46feb919
child 14115 65ec3f73d00b
     1.1 --- a/src/HOL/IsaMakefile	Thu Jul 03 12:56:48 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jul 03 18:07:50 2003 +0200
     1.3 @@ -389,8 +389,7 @@
     1.4    UNITY/Simple/Network.thy\
     1.5    UNITY/Simple/Reach.thy UNITY/Simple/Reachability.thy UNITY/Simple/Token.thy\
     1.6    UNITY/Comp/Alloc.ML UNITY/Comp/Alloc.thy \
     1.7 -  UNITY/Comp/AllocBase.thy \
     1.8 -  UNITY/Comp/Client.ML UNITY/Comp/Client.thy \
     1.9 +  UNITY/Comp/AllocBase.thy UNITY/Comp/AllocImpl.thy UNITY/Comp/Client.thy \
    1.10    UNITY/Comp/Counter.thy UNITY/Comp/Counterc.thy UNITY/Comp/Handshake.thy \
    1.11    UNITY/Comp/PriorityAux.thy \
    1.12    UNITY/Comp/Priority.thy UNITY/Comp/Progress.thy \