Updated IMP
authornipkow
Sat Apr 27 18:50:39 1996 +0200 (1996-04-27)
changeset 1698bf46e4acc682
parent 1697 687f0710c22d
child 1699 0bcc8cab3461
Updated IMP
src/HOL/Makefile
     1.1 --- a/src/HOL/Makefile	Sat Apr 27 18:49:21 1996 +0200
     1.2 +++ b/src/HOL/Makefile	Sat Apr 27 18:50:39 1996 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  	esac
     1.5  
     1.6  ##IMP-semantics example
     1.7 -IMP_NAMES = Com Denotation Equiv Properties
     1.8 +IMP_NAMES = Com Natural Transition Denotation Hoare VC
     1.9  IMP_FILES = IMP/ROOT.ML $(IMP_NAMES:%=IMP/%.thy) $(IMP_NAMES:%=IMP/%.ML)
    1.10  
    1.11  IMP:    $(BIN)/HOL  $(IMP_FILES)