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

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

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

revision 3587 by emre, Fri Apr 5 07:07:58 2002 UTC revision 3588 by emre, Sat Apr 27 02:45:24 2002 UTC
# Line 1  Line 1 
1  (*  (*
2   * Functional Intermediate Representation formalized in MetaPRL.   * The Mp_mc_fir_eval module defines the operational semantics
3   *   * of the FIR.
  * Define how to evaluate the FIR.  
4   *   *
5   * ----------------------------------------------------------------   * ----------------------------------------------------------------
6   *   *
  * Copyright (C) 2002 Brian Emre Aydemir, Caltech  
  *  
7   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
8   * logical framework that provides a logical programming   * logical framework that provides a logical programming
9   * environment for OCaml and other languages.   * environment for OCaml and other languages.
# Line 14  Line 11 
11   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
12   * OCaml, and more information about this system.   * OCaml, and more information about this system.
13   *   *
14     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
15     *
16   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
17   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
18   * as published by the Free Software Foundation; either version 2   * as published by the Free Software Foundation; either version 2

Legend:
Removed from v.3587  
changed lines
  Added in v.3588

  ViewVC Help
Powered by ViewVC 1.1.26