changeset 24152 | 63cc746667a0 |
parent 24139 | eac44d0fe228 |
child 24162 | 8dfd5dd65d82 |
--- a/src/HOL/IsaMakefile Fri Aug 03 22:33:10 2007 +0200 +++ b/src/HOL/IsaMakefile Fri Aug 03 22:35:40 2007 +0200 @@ -786,7 +786,7 @@ Nominal/Examples/ROOT.ML \ Nominal/Examples/CR.thy \ Nominal/Examples/CR_Takahashi.thy \ -## Nominal/Examples/Class.thy \ + Nominal/Examples/Class.thy \ Nominal/Examples/Compile.thy \ Nominal/Examples/Fsub.thy \ Nominal/Examples/Lambda_mu.thy \