changeset 22077 | 2882d9cc5e75 |
parent 22073 | c170dcbe6c9d |
child 22100 | 33d7468302bb |
--- a/src/HOL/IsaMakefile Tue Jan 16 14:10:27 2007 +0100 +++ b/src/HOL/IsaMakefile Tue Jan 16 14:11:25 2007 +0100 @@ -734,7 +734,7 @@ HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal \ - Nominal/Examples/ROOT.ML + Nominal/Examples/ROOT.ML \ Nominal/Examples/CR.thy \ Nominal/Examples/Class.thy \ Nominal/Examples/Compile.thy \