changeset 22448 | f982e73e36de |
parent 22375 | 823f7bee42df |
child 22465 | a9889b0431ca |
--- a/src/HOL/IsaMakefile Fri Mar 16 17:12:52 2007 +0100 +++ b/src/HOL/IsaMakefile Fri Mar 16 17:17:36 2007 +0100 @@ -752,7 +752,8 @@ Nominal/Examples/Lam_Funs.thy \ Nominal/Examples/SN.thy \ Nominal/Examples/Weakening.thy \ - Nominal/Examples/Crary.thy + Nominal/Examples/Crary.thy \ + Nominal/Examples/SOS.thy @cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples