Changeset 700 for src/Clight/CexecComplete.ma

Timestamp:

03/18/11 16:28:26 (2 years ago)

Author:

campbell

Message:

Get Clight semantics going again (except for problems CexecEquiv? that I caused
earlier).

Files:

• src/Clight/CexecComplete.ma (modified) (1 diff)

src/Clight/CexecComplete.ma

@@ -1 @@
-include "Cexec.ma".
+include "Clight/Cexec.ma".
 
 definition yields ≝ λA.λa:res A.λv':A.