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

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

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

revision 3587 by emre, Fri Apr 19 08:09:21 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_ty]
4   *   *
5   * Define terms to represent FIR types and terms.   * The @tt{Mp_mc_fir_ty} module defines terms to represent FIR types.
6   * Specific FIR types represented here: ty, tydef.   * @end[doc]
7   *   *
8   * ----------------------------------------------------------------   * ----------------------------------------------------------------
9   *   *
10   * Copyright (C) 2002 Brian Emre Aydemir, Caltech   * @begin[license]
  *  
11   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
12   * logical framework that provides a logical programming   * logical framework that provides a logical programming
13   * environment for OCaml and other languages.   * environment for OCaml and other languages.
# Line 15  Line 15 
15   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
16   * OCaml, and more information about this system.   * OCaml, and more information about this system.
17   *   *
18     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
19     *
20   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
21   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
22   * as published by the Free Software Foundation; either version 2   * as published by the Free Software Foundation; either version 2
# Line 30  Line 32 
32   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.   * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
33   *   *
34   * Author: Brian Emre Aydemir   * Author: Brian Emre Aydemir
35   * Email:  emre@its.caltech.edu   * @email{emre@its.caltech.edu}
36     * @end[license]
37   *)   *)
38    
39    (*!
40     * @begin[doc]
41     * @parents
42     * @end[doc]
43     *)
44  include Base_theory  include Base_theory
45    (*! @docoff *)
46    
47  open Refiner.Refiner.Term  open Refiner.Refiner.Term
48  open Refiner.Refiner.TermOp  open Refiner.Refiner.TermOp

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

  ViewVC Help
Powered by ViewVC 1.1.26