source: Deliverables/D3.1/C-semantics/root @ 492

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

Reset matita root.

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