src/HOL/IsaMakefile
changeset 19499 1a082c1257d7
parent 19497 630073ef9212
child 19564 d3e2f532459a
     1.1 --- a/src/HOL/IsaMakefile	Fri Apr 28 16:04:57 2006 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Fri Apr 28 17:56:20 2006 +0200
     1.3 @@ -741,7 +741,8 @@
     1.4  HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
     1.5  
     1.6  $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal Library/Accessible_Part.thy	\
     1.7 -  Nominal/Examples/ROOT.ML Nominal/Examples/CR.thy 				\
     1.8 +  Nominal/Examples/ROOT.ML Nominal/Examples/CR.thy Nominal/Examples/Class.thy	\
     1.9 +  Nominal/Examples/Fsub.thy Nominal/Examples/Lambda_mu.thy			\
    1.10    Nominal/Examples/Iteration.thy Nominal/Examples/Lam_substs.thy		\
    1.11    Nominal/Examples/Recursion.thy Nominal/Examples/SN.thy			\
    1.12    Nominal/Examples/Weakening.thy