# HG changeset patch
# User kleing
# Date 1043660371 -3600
# Node ID 139c3bd8f7b2f32854ac80bc773285e615de249d
# Parent  ab8f39f48a6fcb3446c2fb615c9cdc8597efee83
fixed missing UNITY files

diff -r ab8f39f48a6f -r 139c3bd8f7b2 src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Fri Jan 24 18:13:59 2003 +0100
+++ b/src/HOL/IsaMakefile	Mon Jan 27 10:39:31 2003 +0100
@@ -387,9 +387,9 @@
   UNITY/Extend.thy UNITY/FP.ML UNITY/FP.thy UNITY/Follows.ML \
   UNITY/Follows.thy UNITY/GenPrefix.ML UNITY/GenPrefix.thy \
   UNITY/Guar.ML UNITY/Guar.thy  \
-  UNITY/Lift_prog.ML UNITY/Lift_prog.thy \
+  UNITY/Lift_prog.thy \
   UNITY/ListOrder.thy  \
-  UNITY/PPROD.ML UNITY/PPROD.thy \
+  UNITY/PPROD.thy \
   UNITY/Project.ML UNITY/Project.thy \
   UNITY/Rename.ML UNITY/Rename.thy \
   UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/UNITY.ML \
@@ -410,10 +410,10 @@
   UNITY/Comp/Client.ML UNITY/Comp/Client.thy \
   UNITY/Comp/Counter.ML UNITY/Comp/Counter.thy \
   UNITY/Comp/Counterc.ML UNITY/Comp/Counterc.thy \
-  UNITY/Comp/Handshake.ML UNITY/Comp/Handshake.thy \
+  UNITY/Comp/Handshake.thy \
   UNITY/Comp/PriorityAux.ML UNITY/Comp/PriorityAux.thy \
   UNITY/Comp/Priority.ML UNITY/Comp/Priority.thy \
-  UNITY/Comp/TimerArray.ML UNITY/Comp/TimerArray.thy
+  UNITY/Comp/TimerArray.thy
 	@$(ISATOOL) usedir $(OUT)/HOL UNITY