/[mojave]/metaprl/theories/mc/mp_mc_fir_base.mli
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_fir_base.mli

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

revision 3589 by emre, Sat Apr 27 04:44:46 2002 UTC revision 3590 by emre, Sat Apr 27 19:52:38 2002 UTC
# Line 1  Line 1 
1  (*  (*
2   * The Mp_mc_fir_base module defines terms to represent basic FIR   * The Mp_mc_fir_base module defines terms to represent basic FIR
3   * terms and supporting Ocaml values.   * terms and supporting OCaml values.
4   *   *
5   * ----------------------------------------------------------------   * ----------------------------------------------------------------
6   *   *

Legend:
Removed from v.3589  
changed lines
  Added in v.3590

  ViewVC Help
Powered by ViewVC 1.1.26