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