src/HOL/IsaMakefile
changeset 13851 f6923453953a
parent 13821 0fd39aa77095
child 13853 89131afa9f01
     1.1 --- a/src/HOL/IsaMakefile	Thu Mar 06 15:03:16 2003 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Thu Mar 06 15:08:38 2003 +0100
     1.3 @@ -398,7 +398,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 \
     1.8 +  UNITY/Comp/Priority.ML UNITY/Comp/Priority.thy UNITY/Comp/Progress.thy \
     1.9    UNITY/Comp/TimerArray.thy
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL UNITY
    1.11