Changeset 463


Ignore:
Timestamp:
Jan 20, 2011, 1:33:25 PM (6 years ago)
Author:
mulligan
Message:

Fixed DoTest? so that it doesn't take an hour to typecheck.

File:
1 edited

Legend:

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

    r439 r463  
    33include "Assembly.ma".
    44
    5 ndefinition steps ≝ sixteen * two_hundred_and_fifty_six.
     5ndefinition steps ≝ sixteen.
    66
    77ndefinition testmem ≝ assembly_unlabelled_program test.
Note: See TracChangeset for help on using the changeset viewer.