Added Standardization theory to nominal examples.
authorberghofe
Wed Jul 16 17:37:59 2008 +0200 (2008-07-16)
changeset 27624a925aa66e17a
parent 27623 8e9c19529a4e
child 27625 3a45b555001a
Added Standardization theory to nominal examples.
src/HOL/IsaMakefile
     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 \