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

Diff of /metaprl/theories/mc/tests/mp_mc_test_connect.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 5  Line 5 
5   *   *
6   * ----------------------------------------------------------------   * ----------------------------------------------------------------
7   *   *
8     * Copyright (C) 2002 Brian Emre Aydemir, Caltech
9     *
10   * This file is part of MetaPRL, a modular, higher order   * This file is part of MetaPRL, a modular, higher order
11   * logical framework that provides a logical programming   * logical framework that provides a logical programming
12   * 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