changeset 24896 | 70f238757695 |
parent 24830 | a7b3ab44d993 |
child 24898 | 799ca514244f |
--- a/src/HOL/IsaMakefile Mon Oct 08 05:23:47 2007 +0200 +++ b/src/HOL/IsaMakefile Mon Oct 08 05:27:52 2007 +0200 @@ -805,7 +805,9 @@ Nominal/Examples/Weakening.thy \ Nominal/Examples/Crary.thy \ Nominal/Examples/SOS.thy \ - Nominal/Examples/LocalWeakening.thy + Nominal/Examples/LocalWeakening.thy \ + Nominal/Examples/Support.thy \ + Nominal/Examples/VC-Compatible.thy @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples