From af563cc2bf8dfb20b88ad70a1e0fdd1dd3fa5ed1 Mon Sep 17 00:00:00 2001
From: Helmut Grohne <grohne@cs.uni-bonn.de>
Date: Wed, 5 Feb 2014 11:05:29 +0100
Subject: add examples

---
 Everything.agda | 1 +
 1 file changed, 1 insertion(+)

(limited to 'Everything.agda')

diff --git a/Everything.agda b/Everything.agda
index 7399254..e1734a9 100644
--- a/Everything.agda
+++ b/Everything.agda
@@ -10,3 +10,4 @@ import BFF
 import Bidir
 import LiftGet
 import Precond
+import Examples
-- 
cgit v1.2.3