Changeset 700 for src/Clight/CexecComplete.ma
- Timestamp:
- 03/18/11 16:28:26 (2 years ago)
- Files:
-
- 1 modified
-
src/Clight/CexecComplete.ma (modified) (1 diff)
Legend:
- Unmodified
- Added
- Removed
-
src/Clight/CexecComplete.ma
r500 r700 1 include "C exec.ma".1 include "Clight/Cexec.ma". 2 2 3 3 definition yields ≝ λA.λa:res A.λv':A.
