declare trans [trans] (*overridden in theory Calculation*);

--- a/src/HOL/HOL.thy	Fri Jul 20 22:02:45 2001 +0200
+++ b/src/HOL/HOL.thy	Sun Jul 22 21:30:05 2001 +0200
@@ -211,6 +211,8 @@
 
 use "HOL_lemmas.ML"
 
+declare trans [trans]  (*overridden in theory Calculation*)
+
 lemma atomize_all: "(!!x. P x) == Trueprop (ALL x. P x)"
 proof (rule equal_intr_rule)
   assume "!!x. P x"