source: src/common/CostLabel.ma @ 699

Last change on this file since 699 was 699, checked in by mulligan, 9 years ago

More or less finished formalisation of LIN.

File size: 101 bytes
Line 
1include "ASM/BitVector.ma".
2include "utilities/IdentifierTools.ma".
3
4definition CostLabel ≝ Byte.
5
Note: See TracBrowser for help on using the repository browser.