1.1 --- a/src/HOL/Calculation.thy Sun Jul 23 12:01:05 2000 +0200
1.2 +++ b/src/HOL/Calculation.thy Sun Jul 23 12:01:39 2000 +0200
1.3 @@ -187,6 +187,6 @@
1.4 ord_eq_less_trans
1.5 trans
1.6
1.7 -theorems [elim??] = sym
1.8 +theorems [elim?] = sym
1.9
1.10 end