src/HOL/IsaMakefile
changeset 23243 a37d3e6e8323
parent 23213 43553703267c
child 23247 b99dce43d252
     1.1 --- a/src/HOL/IsaMakefile	Tue Jun 05 07:58:50 2007 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Tue Jun 05 09:56:19 2007 +0200
     1.3 @@ -767,7 +767,7 @@
     1.4    Nominal/Examples/ROOT.ML \
     1.5    Nominal/Examples/CR.thy \
     1.6    Nominal/Examples/CR_Takahashi.thy \
     1.7 -##  Nominal/Examples/Class.thy \
     1.8 +  Nominal/Examples/Class.thy \
     1.9    Nominal/Examples/Compile.thy \
    1.10    Nominal/Examples/Fsub.thy \
    1.11    Nominal/Examples/Lambda_mu.thy \