# HG changeset patch
# User berghofe
# Date 1216222679 -7200
# Node ID a925aa66e17afe758d7543ee1f44317a6dabe551
# Parent  8e9c19529a4e9001192886ccecca2fd5f13697ff
Added Standardization theory to nominal examples.

diff -r 8e9c19529a4e -r a925aa66e17a src/HOL/IsaMakefile
--- a/src/HOL/IsaMakefile	Wed Jul 16 17:36:44 2008 +0200
+++ b/src/HOL/IsaMakefile	Wed Jul 16 17:37:59 2008 +0200
@@ -904,6 +904,7 @@
   Nominal/Examples/ROOT.ML \
   Nominal/Examples/SN.thy \
   Nominal/Examples/SOS.thy \
+  Nominal/Examples/Standardization.thy \
   Nominal/Examples/Support.thy \
   Nominal/Examples/Type_Preservation.thy \
   Nominal/Examples/VC_Condition.thy \