Ignore:
Timestamp:
Dec 15, 2010, 11:35:37 PM (10 years ago)
Author:
sacerdot
Message:
  1. new function assembly_unlabelled_program
  2. the new function is now used in DoTest?.ma
File:
1 edited

Legend:

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

    r431 r437  
    55ndefinition steps ≝ one_hundred_and_twenty_eight.
    66
    7 ndefinition testmem ≝ assembly 〈[ ], test〉.
     7ndefinition testmem ≝ assembly_unlabelled_program test.
    88ndefinition teststatus ≝
    99 match testmem with
Note: See TracChangeset for help on using the changeset viewer.