Ignore:
Timestamp:
Dec 13, 2010, 11:13:55 AM (9 years ago)
Author:
mulligan
Message:

Removed stray ncheck so that files will now compile.

File:
1 edited

Legend:

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

    r374 r403  
    131131nlemma xoo:
    132132 execute_trace one_hundred_and_twenty_eight teststatus =
    133  execute_trace four teststatus.
     133 execute_trace eight teststatus.
    134134 nnormalize in ⊢ (??%?);
    135135(* nnormalize in ⊢ (???%);
Note: See TracChangeset for help on using the changeset viewer.