changeset 1698 | bf46e4acc682 |
parent 1665 | e5737154d9bf |
child 1699 | 0bcc8cab3461 |
--- a/src/HOL/Makefile Sat Apr 27 18:49:21 1996 +0200 +++ b/src/HOL/Makefile Sat Apr 27 18:50:39 1996 +0200 @@ -74,7 +74,7 @@ esac ##IMP-semantics example -IMP_NAMES = Com Denotation Equiv Properties +IMP_NAMES = Com Natural Transition Denotation Hoare VC IMP_FILES = IMP/ROOT.ML $(IMP_NAMES:%=IMP/%.thy) $(IMP_NAMES:%=IMP/%.ML) IMP: $(BIN)/HOL $(IMP_FILES)