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

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

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

revision 3587 by emre, Sun Mar 31 02:48:35 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_term_op]
4   * Term construction / deconstruction convinience functions   *
5   * for MC theory terms.   * The @tt[Mp_mc_term_op] module provides term construction and
6     * deconstruction convinience functions for MC theory terms.
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 15  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 30  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 Base_theory  include Base_theory
46    (*! @docoff *)
47    
48  open Opname  open Opname
49  open Refiner.Refiner.Term  open Refiner.Refiner.Term

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

  ViewVC Help
Powered by ViewVC 1.1.26