/[mojave]/metaprl/theories/mc/mp_mc_connect_exp.mli
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_connect_exp.mli

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3561 by emre, Sun Mar 24 22:35:29 2002 UTC revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC
# Line 129  Line 129 
129    
130  val term_of_exp : exp -> term  val term_of_exp : exp -> term
131  val exp_of_term : term -> exp  val exp_of_term : term -> exp
132    
133    (*
134     * Convert to and from fundef.
135     *)
136    
137    val term_of_fundef : fundef -> term
138    val fundef_of_term : term -> fundef

Legend:
Removed from v.3561  
changed lines
  Added in v.3562

  ViewVC Help
Powered by ViewVC 1.1.26