diff -r c02171c5fb20 -r 59570adf2d3c src/HOL/Calculation.thy
--- a/src/HOL/Calculation.thy	Thu Oct 19 21:20:07 2000 +0200
+++ b/src/HOL/Calculation.thy	Thu Oct 19 21:20:53 2000 +0200
@@ -188,6 +188,4 @@
   trans
   transitive
 
-lemmas [elim?] = sym
-
 end