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 the two new examples from Nominal to the build process
authorurbanc
Mon, 08 Oct 2007 05:27:52 +0200
changeset 24896 70f238757695
parent 24895 7cbb842aa99e
child 24897 b0a93a6d6ab9
added the two new examples from Nominal to the build process
src/HOL/IsaMakefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/IsaMakefile	Mon Oct 08 05:23:47 2007 +0200
+++ b/src/HOL/IsaMakefile	Mon Oct 08 05:27:52 2007 +0200
@@ -805,7 +805,9 @@
   Nominal/Examples/Weakening.thy \
   Nominal/Examples/Crary.thy \
   Nominal/Examples/SOS.thy \
-  Nominal/Examples/LocalWeakening.thy
+  Nominal/Examples/LocalWeakening.thy \
+  Nominal/Examples/Support.thy \
+  Nominal/Examples/VC-Compatible.thy
 	@cd Nominal; $(ISATOOL) usedir $(OUT)/HOL-Nominal Examples
isabelle