elim?;
authorwenzelm
Sun Jul 23 12:01:39 2000 +0200 (2000-07-23)
changeset 9409e769a6f8b333
parent 9408 d3d56e1d2ec1
child 9410 612ee826a409
elim?;
src/HOL/Calculation.thy
     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