/[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 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_base module defines terms to represent basic FIR
3   *   * terms and supporting Ocaml values.
  * Define terms to represent FIR types and terms.  
  * Specific FIR types represented here: int_set, rawint_set,  
  * float_precision, int_precision, int_signed, tuple_class, union_type  
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 16  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