Changeset 3 for C-semantics/Errors.ma

Timestamp:
May 27, 2010, 11:47:32 AM (11 years ago)
Author:
campbell
Message:

Import work-in-progress port of the CompCert? C semantics to matita.

Location:
C-semantics
Files:
2 added

Note: See TracChangeset for help on using the changeset viewer.