Changeset 427


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

Removed interpret.ma from ToMatita?

File:
1 edited

Legend:

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

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