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.
Forgot to add Expr to IMP.
authornipkow
Sat, 27 Apr 1996 18:51:42 +0200
changeset 1699 0bcc8cab3461
parent 1698 bf46e4acc682
child 1700 afd3b60660db
Forgot to add Expr to IMP.
src/HOL/Makefile file | annotate | diff | comparison | revisions 
--- a/src/HOL/Makefile	Sat Apr 27 18:50:39 1996 +0200
+++ b/src/HOL/Makefile	Sat Apr 27 18:51:42 1996 +0200
@@ -74,7 +74,7 @@
 	esac
 
 ##IMP-semantics example
-IMP_NAMES = Com Natural Transition Denotation Hoare VC
+IMP_NAMES = Expr Com Natural Transition Denotation Hoare VC
 IMP_FILES = IMP/ROOT.ML $(IMP_NAMES:%=IMP/%.thy) $(IMP_NAMES:%=IMP/%.ML)
 
 IMP:    $(BIN)/HOL  $(IMP_FILES)
isabelle