Context Navigation

source: C-semantics/CostLabel.ma @ 226

Last change on this file since 226 was 177, checked in by campbell, 10 years ago
Missing cost labels file.
File size: 51 bytes

Rev	Line
[177]	1	include "AST.ma".
	2
	3	ndefinition costlabel ≝ ident.

Note: See TracBrowser for help on using the repository browser.