# HG changeset patch
# User wenzelm
# Date 964346499 -7200
# Node ID e769a6f8b333cefa9e79c597b6e91ecbf3b64e62
# Parent  d3d56e1d2ec1508e24bd22cca64470eb5735f72e
elim?;

diff -r d3d56e1d2ec1 -r e769a6f8b333 src/HOL/Calculation.thy
--- a/src/HOL/Calculation.thy	Sun Jul 23 12:01:05 2000 +0200
+++ b/src/HOL/Calculation.thy	Sun Jul 23 12:01:39 2000 +0200
@@ -187,6 +187,6 @@
   ord_eq_less_trans
   trans
 
-theorems [elim??] = sym
+theorems [elim?] = sym
 
 end