changeset 26195 | 8292f8723e99 |
parent 26192 | 52617dca8386 |
child 26232 | 075264a0a4bc |
--- a/src/HOL/IsaMakefile Mon Mar 03 15:37:16 2008 +0100 +++ b/src/HOL/IsaMakefile Tue Mar 04 13:35:45 2008 +0100 @@ -825,6 +825,7 @@ Nominal/Examples/SOS.thy \ Nominal/Examples/Support.thy \ Nominal/Examples/VC_Condition.thy \ + Nominal/Examples/W.thy \ Nominal/Examples/Weakening.thy @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples