Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
*** 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 file | annotate | diff | comparison | revisions 
--- 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                                     *)
 (*                                                            *)
 (**************************************************************)
isabelle