# HG changeset patch
# User wenzelm
# Date 995830205 -7200
# Node ID 3d9222b8098998617045df06e9788034095bb8b5
# Parent  2338bce575ae121c3fef491237f6543d456037bf
declare trans [trans]  (*overridden in theory Calculation*);

diff -r 2338bce575ae -r 3d9222b80989 src/HOL/HOL.thy
--- 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"