Ignore:
Timestamp:
Nov 29, 2010, 2:32:13 PM (10 years ago)
Author:
mulligan
Message:

More changes to get everything to typecheck.

File:
1 edited

Legend:

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

    r329 r331  
    180180                old_clock.
    181181
     182alias id "get_index" = "cic:/matita/ng/Vector/get_index.fix(0,3,2)".
    182183ndefinition get_8051_sfr ≝
    183184  λs: Status.
Note: See TracChangeset for help on using the changeset viewer.