All.v: uncomment things

diff --git a/src/All.v b/src/All.v
index 5db7ece..25fa85d 100644 (file)
--- a/src/All.v
+++ b/src/All.v
@@ -1,9 +1,7 @@
 Require Import ExtractionMain.
 Require Import ExtractionMain.

-(*

 Require Import ProgrammingLanguageGeneralizedArrow.
 Require Import ProgrammingLanguageFlattening.
 Require Import ProgrammingLanguageArrow.
 Require Import ProgrammingLanguageReification.
 Require Import ProgrammingLanguageGeneralizedArrow.
 Require Import ProgrammingLanguageFlattening.
 Require Import ProgrammingLanguageArrow.
 Require Import ProgrammingLanguageReification.

-*)

 Require Import ReificationsIsomorphicToGeneralizedArrows.
 
 Require Import ReificationsIsomorphicToGeneralizedArrows.