Changeset 276


Ignore:
Timestamp:
Nov 24, 2010, 4:16:02 PM (9 years ago)
Author:
mulligan
Message:

Messed up a file.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Status.ma

    r267 r276  
    66include "Arithmetic.ma".
    77include "BitVectorTrie.ma".
     8
     9ndefinition Time ≝ Nat.
     10
     11ninductive SerialBufferType: Type[0] ≝
     12  Eight: Byte → SerialBufferType
     13| Nine: Bit → Byte → SerialBufferType.
     14
     15ninductive LineType: Type[0] ≝
     16  P1: Byte → LineType
     17| P3: Byte → LineType
     18| SerialBuffer: SerialBufferType → LineType.
     19
     20(* What is a continuation, now? *)
    821
    922ninductive SFR8051: Type[0] ≝
Note: See TracChangeset for help on using the changeset viewer.