source: Deliverables/D4.1/Matita/Universes.ma @ 361

Last change on this file since 361 was 246, checked in by mulligan, 10 years ago

Added physical file (Arithmetic) for arithmetic on bit vectors, and
added sparse bitvector trie for modelling 8051 memory.

File size: 234 bytes
Line 
1universe constraint Type[0] < Type[1].
2universe constraint Type[1] < Type[2].
3universe constraint Type[2] < Type[3].
4universe constraint Type[3] < Type[4].
5universe constraint Type[4] < Type[5].
6universe constraint Type[5] < Type[6].
Note: See TracBrowser for help on using the repository browser.