# HG changeset patch
# User Christian Urban <urbanc@in.tum.de>
# Date 1259845243 -3600
# Node ID bb23a7393de3e295d4417e533396bd10edf715ba
# Parent  d2c9a72e52e03b28d08e399346a9dcc781212fd2
merged

diff -r d2c9a72e52e0 -r bb23a7393de3 IntEx.thy
--- a/IntEx.thy	Thu Dec 03 13:59:53 2009 +0100
+++ b/IntEx.thy	Thu Dec 03 14:00:43 2009 +0100
@@ -1,6 +1,7 @@
 theory IntEx
 imports QuotMain
 begin
+  
 
 fun
   intrel :: "(nat \<times> nat) \<Rightarrow> (nat \<times> nat) \<Rightarrow> bool" (infix "\<approx>" 50)