Ignore:
Timestamp:
Nov 25, 2010, 11:18:27 AM (10 years ago)
Author:
mulligan
Message:

Added bit address lookup for registers.

File:
1 edited

Legend:

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

    r281 r286  
    2727ndefinition eighteen ≝ nine + nine.
    2828ndefinition nineteen ≝ ten + nine.
     29ndefinition twenty_four ≝ sixteen + eight.
    2930ndefinition one_hundred ≝ ten * ten.
    3031ndefinition one_hundred_and_twenty_eight ≝ sixteen * eight.
Note: See TracChangeset for help on using the changeset viewer.