Changeset 428 for Deliverables


Ignore:
Timestamp:
Dec 15, 2010, 5:04:37 PM (9 years ago)
Author:
mulligan
Message:

Changed instr. to labelled_instr.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/ToMatita.ml

    r427 r428  
    1919    aux status status.ASMInterpret.pc
    2020in
    21  print_string "include \"ASM.ma\".\n\nndefinition test: List instruction ≝\n [";
     21 print_string "include \"ASM.ma\".\n\nndefinition test: List labelled_instruction ≝\n [";
    2222 mem_pretty_print status;
    2323 print_endline "].\n @.\nnqed."
Note: See TracChangeset for help on using the changeset viewer.