*** empty log message ***
authorchaieb
Wed Oct 06 13:59:33 2004 +0200 (2004-10-06)
changeset 15233c55a12162944
parent 15232 388a6f431d83
child 15234 ec91a90c604e
*** empty log message ***
src/HOL/Integ/barith.ML
     1.1 --- a/src/HOL/Integ/barith.ML	Wed Oct 06 13:58:56 2004 +0200
     1.2 +++ b/src/HOL/Integ/barith.ML	Wed Oct 06 13:59:33 2004 +0200
     1.3 @@ -2,7 +2,7 @@
     1.4  (*                                                            *)
     1.5  (*                                                            *)
     1.6  (*          Trying to implement an Bounded arithmetic         *)
     1.7 -(*                                                            *)
     1.8 +(*           Chaieb Amine                                     *)
     1.9  (*                                                            *)
    1.10  (**************************************************************)
    1.11