/[mojave]/metaprl/theories/itt/itt_list2.ml
ViewVC logotype

Diff of /metaprl/theories/itt/itt_list2.ml

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

revision 3583 by nogin, Fri Jul 13 21:34:19 2001 UTC revision 3584 by nogin, Thu Apr 25 15:28:40 2002 UTC
# Line 323  Line 323 
323  (*!  (*!
324   * @begin[doc]   * @begin[doc]
325   * The @hrefterm[assoc] term performs induction over the list,   * The @hrefterm[assoc] term performs induction over the list,
326   * splitting each pair and comparing it the the key.   * splitting each pair and comparing it with the key.
327   * @end[doc]   * @end[doc]
328   *)   *)
329  interactive_rw reduce_assoc_nil :  interactive_rw reduce_assoc_nil :

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

  ViewVC Help
Powered by ViewVC 1.1.26