src/HOL/Makefile
changeset 1699 0bcc8cab3461
parent 1698 bf46e4acc682
child 1797 334308d2afbc
     1.1 --- a/src/HOL/Makefile	Sat Apr 27 18:50:39 1996 +0200
     1.2 +++ b/src/HOL/Makefile	Sat Apr 27 18:51:42 1996 +0200
     1.3 @@ -74,7 +74,7 @@
     1.4  	esac
     1.5  
     1.6  ##IMP-semantics example
     1.7 -IMP_NAMES = Com Natural Transition Denotation Hoare VC
     1.8 +IMP_NAMES = Expr 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)