src/HOL/IsaMakefile
changeset 5430 4a179dba527a
parent 5417 1f533238b53b
child 5503 613a42644c2e
     1.1 --- a/src/HOL/IsaMakefile	Mon Sep 07 10:40:17 1998 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Sep 07 10:43:31 1998 +0200
     1.3 @@ -163,7 +163,8 @@
     1.4    UNITY/Network.ML UNITY/Network.thy UNITY/Reach.ML UNITY/Reach.thy\
     1.5    UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/Token.ML UNITY/Token.thy\
     1.6    UNITY/Traces.ML UNITY/Traces.thy UNITY/UNITY.ML UNITY/UNITY.thy\
     1.7 -  UNITY/WFair.ML UNITY/WFair.thy UNITY/Lift.ML UNITY/Lift.thy
     1.8 +  UNITY/WFair.ML UNITY/WFair.thy UNITY/Lift.ML UNITY/Lift.thy\
     1.9 +  UNITY/NSP_Bad.ML UNITY/NSP_Bad.thy
    1.10  	@$(ISATOOL) usedir $(OUT)/HOL UNITY
    1.11  
    1.12