source: C-semantics/root @ 250

Last change on this file since 250 was 250, checked in by campbell, 9 years ago

Begin separating soundness from executable semantics.

File size: 34 bytes
Line 
1baseuri=cic:/matita/c-semantics-2
Note: See TracBrowser for help on using the repository browser.