From e6b508e438f0ff2b109d99abfb0cabfcafb95497 Mon Sep 17 00:00:00 2001
From: AlexKnauth <alexander@knauth.org>
Date: Tue, 5 Jan 2016 18:44:55 -0500
Subject: [PATCH] add isomorphism/main.rkt

---
 unstable/lens/isomorphism.rkt      | 4 +---
 unstable/lens/isomorphism/base.rkt | 1 -
 unstable/lens/isomorphism/main.rkt | 4 ++++
 3 files changed, 5 insertions(+), 4 deletions(-)
 create mode 100644 unstable/lens/isomorphism/main.rkt

diff --git a/unstable/lens/isomorphism.rkt b/unstable/lens/isomorphism.rkt
index 6edc5bd..940c0ad 100644
--- a/unstable/lens/isomorphism.rkt
+++ b/unstable/lens/isomorphism.rkt
@@ -1,4 +1,2 @@
 #lang reprovide
-"isomorphism/base.rkt"
-"isomorphism/compound.rkt"
-"isomorphism/data.rkt"
+"isomorphism/main.rkt"
diff --git a/unstable/lens/isomorphism/base.rkt b/unstable/lens/isomorphism/base.rkt
index bb84405..dc75f04 100644
--- a/unstable/lens/isomorphism/base.rkt
+++ b/unstable/lens/isomorphism/base.rkt
@@ -1,4 +1,3 @@
-
 #lang sweet-exp racket/base
 
 provide isomorphism-lens?
diff --git a/unstable/lens/isomorphism/main.rkt b/unstable/lens/isomorphism/main.rkt
new file mode 100644
index 0000000..0128d82
--- /dev/null
+++ b/unstable/lens/isomorphism/main.rkt
@@ -0,0 +1,4 @@
+#lang reprovide
+"base.rkt"
+"compound.rkt"
+"data.rkt"