/[mojave]/metaprl/theories/tactic/top_conversionals.ml
ViewVC logotype

Diff of /metaprl/theories/tactic/top_conversionals.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 394  Line 394 
394   * conversion will recursively search for applications of these three   * conversion will recursively search for applications of these three
395   * rewrites in an attempt to fully reduce the term.   * rewrites in an attempt to fully reduce the term.
396   *   *
397   * The implementation of the the @tt{reduce_resource} and the @tt{reduceC}   * The implementation of the @tt{reduce_resource} and the @tt{reduceC}
398   * conversion rely on tables to store the shape of redices, together with the   * conversion rely on tables to store the shape of redices, together with the
399   * conversions for the reduction.   * conversions for the reduction.
400   *   *

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

  ViewVC Help
Powered by ViewVC 1.1.26