src/Banner.v

   1 (***********************************************************************************************************************************
   2  *
   3  * This is the Coq development accompanying
   4  *
   5  *   __Multi-Level Programs are Generalized Arrows__
   6  *
   7  * Best viewed on a 132-character-wide display (use the first line of this file to size your window)
   8  *
   9  * This file makes extensive use of Unicode (UTF-8); please make sure your text editor supports it.
  10  *
  11  * Here is the version of Coq I used:
  12  *
  13  *   megacz@skolem:~$ coqc -v
  14  *   The Coq Proof Assistant, version 8.3pl1 (March 2011)
  15  *   compiled on Mar 17 2011 21:07:25 with OCaml 3.11.2
  16  *
  17  * Warning: this script may take a half-hour or more to typecheck, even on a very fast machine.
  18  *          It also needs about 1.5GB of ram; if you have less than that it will run unbearably slowly.
  19  *
  20  *  I recommend checking it using the following command:
  21  *
  22  *    coqc -noglob -dont-load-proofs GArrows.v
  23  *
  24  **********************************************************************************************************************************)
  25
  26 Require Import Coq.Unicode.Utf8.
  27 Require Import Coq.Classes.RelationClasses.
  28 Require Import Coq.Classes.Morphisms.
  29 Require Import Coq.Setoids.Setoid.
  30 Require Setoid.
  31 Require Import Coq.Strings.String.
  32 Require Import Coq.Lists.List.
  33 Require Import Omega.