Changeset 276
- Timestamp:
- Nov 24, 2010, 4:16:02 PM (10 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
Deliverables/D4.1/Matita/Status.ma
r267 r276 6 6 include "Arithmetic.ma". 7 7 include "BitVectorTrie.ma". 8 9 ndefinition Time ≝ Nat. 10 11 ninductive SerialBufferType: Type[0] ≝ 12 Eight: Byte → SerialBufferType 13 | Nine: Bit → Byte → SerialBufferType. 14 15 ninductive LineType: Type[0] ≝ 16 P1: Byte → LineType 17 | P3: Byte → LineType 18 | SerialBuffer: SerialBufferType → LineType. 19 20 (* What is a continuation, now? *) 8 21 9 22 ninductive SFR8051: Type[0] ≝
Note: See TracChangeset
for help on using the changeset viewer.