src/HOL/IsaMakefile
changeset 27624 a925aa66e17a
parent 27484 dbb9981c3d18
child 27672 558ceab467e1
     1.1 --- a/src/HOL/IsaMakefile	Wed Jul 16 17:36:44 2008 +0200
     1.2 +++ b/src/HOL/IsaMakefile	Wed Jul 16 17:37:59 2008 +0200
     1.3 @@ -904,6 +904,7 @@
     1.4    Nominal/Examples/ROOT.ML \
     1.5    Nominal/Examples/SN.thy \
     1.6    Nominal/Examples/SOS.thy \
     1.7 +  Nominal/Examples/Standardization.thy \
     1.8    Nominal/Examples/Support.thy \
     1.9    Nominal/Examples/Type_Preservation.thy \
    1.10    Nominal/Examples/VC_Condition.thy \