diff -r bc2c3a1f87ef -r d67a6a48f1c7 ROOT
--- a/ROOT	Wed Mar 27 17:23:00 2013 +0000
+++ b/ROOT	Mon Apr 01 23:22:53 2013 +0100
@@ -34,6 +34,7 @@
     "Ex/CoreHaskell"
     "Ex/CoreHaskell2"
     "Ex/Pi"
+    "Ex/Local_Contexts"
   theories [quick_and_dirty]
     "Ex/Let"