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 CK_Machine to the nominal section
authorurbanc
Thu, 12 Jun 2008 10:03:45 +0200
changeset 27163 587ad1fba128
parent 27162 8d747de5c73e
child 27164 81632fd4ff61
added CK_Machine to the nominal section
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Thu Jun 12 09:56:28 2008 +0200
+++ b/src/HOL/IsaMakefile	Thu Jun 12 10:03:45 2008 +0200
@@ -811,6 +811,7 @@
 HOL-Nominal-Examples: HOL-Nominal $(LOG)/HOL-Nominal-Examples.gz
 
 $(LOG)/HOL-Nominal-Examples.gz: $(OUT)/HOL-Nominal 	\
+  Nominal/Examples/CK_Machine.thy \
   Nominal/Examples/CR.thy \
   Nominal/Examples/CR_Takahashi.thy \
   Nominal/Examples/Class.thy \
isabelle