From 916f33924e493c9be8290d0aadc35cf85d6899af Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 10 Apr 2011 19:37:59 +0000 Subject: [PATCH] All.v: uncomment things --- src/All.v | 2 -- 1 file changed, 2 deletions(-) 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. -- 1.7.10.4