src/HOL/IsaMakefile
changeset 8256 6ba8fa2b0638
parent 8193 33e4ec7a2daa
child 8338 13d601bda271
--- a/src/HOL/IsaMakefile	Fri Feb 18 15:35:29 2000 +0100
+++ b/src/HOL/IsaMakefile	Fri Feb 18 15:37:08 2000 +0100
@@ -249,6 +249,7 @@
   UNITY/Lift_prog.ML UNITY/Lift_prog.thy UNITY/ListOrder.thy\
   UNITY/Mutex.ML UNITY/Mutex.thy\
   UNITY/Network.ML UNITY/Network.thy UNITY/Reach.ML UNITY/Reach.thy\
+  UNITY/Rename.ML UNITY/Rename.thy\
   UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/Token.ML UNITY/Token.thy\
   UNITY/UNITY.ML UNITY/UNITY.thy\
   UNITY/WFair.ML UNITY/WFair.thy UNITY/Lift.ML UNITY/Lift.thy\