src/HOL/IsaMakefile
changeset 32624 3dec57ec3473
parent 32621 a073cb249a06
child 32632 8ae912371831
     1.1 --- a/src/HOL/IsaMakefile	Mon Sep 21 10:58:25 2009 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Mon Sep 21 12:22:53 2009 +0200
     1.3 @@ -643,7 +643,7 @@
     1.4  HOL-UNITY: HOL $(LOG)/HOL-UNITY.gz
     1.5  
     1.6  $(LOG)/HOL-UNITY.gz: $(OUT)/HOL Library/Multiset.thy UNITY/ROOT.ML	\
     1.7 -  UNITY/UNITY_Main.thy UNITY/UNITY_tactics.ML UNITY/Comp.thy		\
     1.8 +  UNITY/UNITY_Main.thy UNITY/UNITY_Examples.thy UNITY/UNITY_tactics.ML UNITY/Comp.thy		\
     1.9    UNITY/Constrains.thy UNITY/Detects.thy UNITY/ELT.thy			\
    1.10    UNITY/Extend.thy UNITY/FP.thy UNITY/Follows.thy UNITY/Guar.thy	\
    1.11    UNITY/Lift_prog.thy UNITY/ListOrder.thy UNITY/ProgressSets.thy	\