# HG changeset patch
# User chaieb
# Date 1097063973 -7200
# Node ID c55a121629441adb758ffeba0138d5e5756e3a7b
# Parent  388a6f431d83063375376a7552d23782da40eea4
*** empty log message ***

diff -r 388a6f431d83 -r c55a12162944 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                                     *)
 (*                                                            *)
 (**************************************************************)