/[mojave]/metaprl/theories/mc/mp_mc_fir_ty.ml
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_ty.ml

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

revision 3591 by emre, Sat Apr 27 19:52:38 2002 UTC revision 3592 by emre, Mon Apr 29 23:15:57 2002 UTC
# Line 96  Line 96 
96  (*!  (*!
97   * @begin[doc]   * @begin[doc]
98   *   *
99   * Tuples   * Tuples. (Documentation incomplete.)
100   * @end[doc]   * @end[doc]
101   *)   *)
102    
# Line 110  Line 110 
110  (*!  (*!
111   * @begin[doc]   * @begin[doc]
112   *   *
113   * Polymorphism.   * Polymorphism. (Documentation incomplete.)
114   * @end[doc]   * @end[doc]
115   *)   *)
116    
# Line 123  Line 123 
123  (*!  (*!
124   * @begin[doc]   * @begin[doc]
125   *   *
126   * Object-oriented.   * Object-oriented. (Documentation incomplete.)
127   * @end[doc]   * @end[doc]
128   *)   *)
129    
# Line 143  Line 143 
143  (*!  (*!
144   * @begin[doc]   * @begin[doc]
145   *   *
146   * Defining types.   * The FIR also has support for defining new types.  The remaining
147     * terms of this module represent the toplevel constructions for
148     * defining new types.
149     * (Documentation incomplete.)
150   * @end[doc]   * @end[doc]
151   *)   *)
152    

Legend:
Removed from v.3591  
changed lines
  Added in v.3592

  ViewVC Help
Powered by ViewVC 1.1.26