removed "nitpick_def" attributes from (r)trancl(p), since "Nitpick.thy" overrides these

--- a/src/HOL/Transitive_Closure.thy	Mon Nov 23 18:29:00 2009 +0100
+++ b/src/HOL/Transitive_Closure.thy	Tue Nov 24 10:31:01 2009 +0100
@@ -33,6 +33,11 @@
     r_into_trancl [intro, Pure.intro]: "(a, b) : r ==> (a, b) : r^+"
   | trancl_into_trancl [Pure.intro]: "(a, b) : r^+ ==> (b, c) : r ==> (a, c) : r^+"
 
+declare rtrancl_def [nitpick_def del]
+        rtranclp_def [nitpick_def del]
+        trancl_def [nitpick_def del]
+        tranclp_def [nitpick_def del]
+
 notation
   rtranclp  ("(_^**)" [1000] 1000) and
   tranclp  ("(_^++)" [1000] 1000)