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