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