source: src/common/CostLabel.ma @ 718

Last change on this file since 718 was 699, checked in by mulligan, 10 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.