Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Added Standardization theory to nominal examples.
authorberghofe
Wed, 16 Jul 2008 17:37:59 +0200
changeset 27624 a925aa66e17a
parent 27623 8e9c19529a4e
child 27625 3a45b555001a
Added Standardization theory to nominal examples.
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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 \
isabelle