/[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 3562 by emre, Wed Apr 3 08:37:31 2002 UTC revision 3563 by emre, Fri Apr 5 01:16:49 2002 UTC
# Line 74  Line 74 
74  val subop_of_term : term -> subop  val subop_of_term : term -> subop
75    
76  (*  (*
77     * Convert to and from frame_label.
78     *)
79    
80    val term_of_frame_label : frame_label -> term
81    val frame_label_of_term : term -> frame_label
82    
83    (*
84   * Convert to and from atom.   * Convert to and from atom.
85   *)   *)
86    

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

  ViewVC Help
Powered by ViewVC 1.1.26