Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint_LTL_LIN_semantics.ml

    r2960 r2997  
    200200    Joint_semantics.state Errors.res **)
    201201let ltl_lin_set_result _ =
    202   failwith "AXIOM TO BE REALIZED"
    203 
    204 (** val eval_ltl_lin_seq :
    205     Joint_LTL_LIN.ltl_lin_seq -> Joint_semantics.state -> (IO.io_out,
    206     IO.io_in, Joint_semantics.state) IOMonad.iO **)
    207 let eval_ltl_lin_seq _ =
    208202  failwith "AXIOM TO BE REALIZED"
    209203
Note: See TracChangeset for help on using the changeset viewer.