CH2O=/Users/dan/projects/ch2o-new/
ImpSimpl.vo: ImpSimpl.v
coqc ImpSimpl.v
Hoare.vo: Hoare.v ImpSimpl.vo
coqc Hoare.v
all: Hoare.vo
doc: ImpSimpl.vo Hoare.vo
coqdoc ImpSimpl.v Hoare.v