From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sun, 10 Apr 2011 19:37:59 +0000 (+0000)
Subject: All.v: uncomment things
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=916f33924e493c9be8290d0aadc35cf85d6899af

All.v: uncomment things
---

diff --git a/src/All.v b/src/All.v
index 5db7ece..25fa85d 100644
--- a/src/All.v
+++ b/src/All.v
@@ -1,9 +1,7 @@
 Require Import ExtractionMain.
-(*
 Require Import ProgrammingLanguageGeneralizedArrow.
 Require Import ProgrammingLanguageFlattening.
 Require Import ProgrammingLanguageArrow.
 Require Import ProgrammingLanguageReification.
-*)
 Require Import ReificationsIsomorphicToGeneralizedArrows.