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

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

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

revision 3587 by emre, Fri Apr 5 09:33:57 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.   * @begin[doc]
3   *   * @theory[Mp_mc_fir_eval]
4   * Define how to evaluate the FIR.   *
5     * The @tt{Mp_mc_fir_eval} module defines the operational semantics
6     * of the FIR.
7     * @end[doc]
8   *   *
9   * ----------------------------------------------------------------   * ----------------------------------------------------------------
10   *   *
11   * Copyright (C) 2002 Brian Emre Aydemir, Caltech   * @begin[license]
  *  
12   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
13   * logical framework that provides a logical programming   * logical framework that provides a logical programming
14   * environment for OCaml and other languages.   * environment for OCaml and other languages.
# Line 14  Line 16 
16   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
17   * OCaml, and more information about this system.   * OCaml, and more information about this system.
18   *   *
19     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
20     *
21   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
22   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
23   * as published by the Free Software Foundation; either version 2   * as published by the Free Software Foundation; either version 2
# Line 29  Line 33 
33   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
34   *   *
35   * Author: Brian Emre Aydemir   * Author: Brian Emre Aydemir
36   * Email:  emre@its.caltech.edu   * @email{emre@its.caltech.edu}
37     * @end[license]
38   *)   *)
39    
40    (*!
41     * @begin[doc]
42     * @parents
43     * @end[doc]
44     *)
45  include Mp_mc_fir_base  include Mp_mc_fir_base
46  include Mp_mc_fir_ty  include Mp_mc_fir_ty
47  include Mp_mc_fir_exp  include Mp_mc_fir_exp
48  include Itt_int_base  include Itt_int_base
49  include Itt_int_ext  include Itt_int_ext
50  include Itt_rfun  include Itt_rfun
51    (*! @docoff *)
52    
53  open Top_conversionals  open Top_conversionals
54  open Tactic_type.Conversionals  open Tactic_type.Conversionals

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

  ViewVC Help
Powered by ViewVC 1.1.26