src/HOL/IsaMakefile
changeset 5900 258021e27980
parent 5742 283f32019d58
child 5980 2e9314c07146
     1.1 --- a/src/HOL/IsaMakefile	Mon Nov 16 13:58:56 1998 +0100
     1.2 +++ b/src/HOL/IsaMakefile	Tue Nov 17 10:29:28 1998 +0100
     1.3 @@ -169,7 +169,7 @@
     1.4    UNITY/SubstAx.ML UNITY/SubstAx.thy UNITY/Token.ML UNITY/Token.thy\
     1.5    UNITY/Traces.ML UNITY/Traces.thy UNITY/UNITY.ML UNITY/UNITY.thy\
     1.6    UNITY/WFair.ML UNITY/WFair.thy UNITY/Lift.ML UNITY/Lift.thy\
     1.7 -  UNITY/NSP_Bad.ML UNITY/NSP_Bad.thy
     1.8 +  UNITY/PPROD.ML UNITY/PPROD.thy UNITY/NSP_Bad.ML UNITY/NSP_Bad.thy
     1.9  	@$(ISATOOL) usedir $(OUT)/HOL UNITY
    1.10  
    1.11