/[mojave]/metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml
ViewVC logotype

Diff of /metaprl/theories/mc/tests/mp_mc_test_connect_exp.ml

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

revision 3561 by emre, Sun Mar 31 02:48:35 2002 UTC revision 3562 by emre, Wed Apr 3 08:37:31 2002 UTC
# Line 6  Line 6 
6   *   *
7   * ----------------------------------------------------------------   * ----------------------------------------------------------------
8   *   *
9     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
10     *
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.

Legend:
Removed from v.3561  
changed lines
  Added in v.3562

  ViewVC Help
Powered by ViewVC 1.1.26