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

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

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.   * The Mp_mc_fir_ty module defines terms to represent FIR types.
  *  
  * Define terms to represent FIR types and terms.  
  * Specific FIR types represented here: ty, tydef.  
3   *   *
4   * ----------------------------------------------------------------   * ----------------------------------------------------------------
5   *   *
  * Copyright (C) 2002 Brian Emre Aydemir, Caltech  
  *  
6   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
7   * logical framework that provides a logical programming   * logical framework that provides a logical programming
8   * environment for OCaml and other languages.   * environment for OCaml and other languages.
# Line 15  Line 10 
10   * See the file doc/index.html for information on Nuprl,   * See the file doc/index.html for information on Nuprl,
11   * OCaml, and more information about this system.   * OCaml, and more information about this system.
12   *   *
13     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
14     *
15   * This program is free software; you can redistribute it and/or   * This program is free software; you can redistribute it and/or
16   * modify it under the terms of the GNU General Public License   * modify it under the terms of the GNU General Public License
17   * 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