src/HOL/IsaMakefile
changeset 14087 cb07c3948668
parent 14075 ab2e26ae90e3
child 14088 61bd46feb919
     1.1 --- a/src/HOL/IsaMakefile	Wed Jul 02 16:57:57 2003 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Thu Jul 03 10:37:25 2003 +0200
     1.3 @@ -394,7 +394,7 @@
     1.4    UNITY/Comp/Counter.ML UNITY/Comp/Counter.thy \
     1.5    UNITY/Comp/Counterc.ML UNITY/Comp/Counterc.thy UNITY/Comp/Handshake.thy \
     1.6    UNITY/Comp/PriorityAux.ML UNITY/Comp/PriorityAux.thy \
     1.7 -  UNITY/Comp/Priority.ML UNITY/Comp/Priority.thy UNITY/Comp/Progress.thy \
     1.8 +  UNITY/Comp/Priority.thy UNITY/Comp/Progress.thy \
     1.9    UNITY/Comp/TimerArray.thy
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL UNITY
    1.11