# HG changeset patch # User nipkow # Date 830623839 -7200 # Node ID bf46e4acc6821127cd7d94d5fc5275601d326e57 # Parent 687f0710c22df5afc00bef65e2969781b5e15aa0 Updated IMP diff -r 687f0710c22d -r bf46e4acc682 src/HOL/Makefile --- 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)