Ignore:
Timestamp:
Nov 23, 2010, 4:39:31 PM (9 years ago)
Author:
sacerdot
Message:
  • new notation ...? for vectors to reduce ambiguity
  • preinstruction type ported to Matita
File:
1 edited

Legend:

Unmodified
Added
Removed
Note: See TracChangeset for help on using the changeset viewer.