source: Deliverables/D3.1/C-semantics/CostLabel.ma @ 535

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

Port Clight semantics to the new-new matita syntax.

File size: 50 bytes
RevLine 
[177]1include "AST.ma".
2
[487]3definition costlabel ≝ ident.
Note: See TracBrowser for help on using the repository browser.