/[mojave]/metaprl/theories/czf/czf_itt_rel.ml
ViewVC logotype

Diff of /metaprl/theories/czf/czf_itt_rel.ml

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

revision 3583 by nogin, Sun Jun 24 10:25:49 2001 UTC revision 3584 by nogin, Thu Apr 25 15:28:40 2002 UTC
# Line 126  Line 126 
126   * @begin[doc]   * @begin[doc]
127   * @rules   * @rules
128   *   *
129   * The @tt{rel} term is well-formed if the the proposition $P$   * The @tt{rel} term is well-formed if the proposition $P$
130   * is well-formed, and if the arguments $s_1$ and $s_2$ are sets.   * is well-formed, and if the arguments $s_1$ and $s_2$ are sets.
131   * @end[doc]   * @end[doc]
132   *)   *)

Legend:
Removed from v.3583  
changed lines
  Added in v.3584

  ViewVC Help
Powered by ViewVC 1.1.26