changeset 23098 | 11e1a67fbfe8 |
parent 23068 | 88bfbe031820 |
child 23100 | 1c84d7294d5b |
--- a/src/HOL/IsaMakefile Fri May 25 00:36:54 2007 +0200 +++ b/src/HOL/IsaMakefile Fri May 25 05:18:56 2007 +0200 @@ -751,7 +751,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 \