Ignore:
Timestamp:
Mar 26, 2013, 4:45:03 PM (7 years ago)
Author:
sacerdot
Message:

Error message implemented.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/RTL/RTL_semantics.ma

    r2946 r2958  
    104104#abs cases (absurd ? abs ?) @Zlt_to_not_Zle assumption
    105105qed.
    106 
    107 (* move *)
    108 axiom StackOverflow : ErrorMessage.
    109106
    110107definition rtl_setup_call_separate_overflow :
Note: See TracChangeset for help on using the changeset viewer.