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.
removed non-modular comment;
authorwenzelm
Sun, 04 Feb 2007 22:02:22 +0100
changeset 22242 020f65c2cdab
parent 22241 5b2dc1b30e7a
child 22243 0f24888c8591
removed non-modular comment;
src/HOL/Integ/IntArith.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Integ/IntArith.thy	Sun Feb 04 22:02:21 2007 +0100
+++ b/src/HOL/Integ/IntArith.thy	Sun Feb 04 22:02:22 2007 +0100
@@ -173,7 +173,6 @@
 declare Zero_int_def [symmetric, simp]
 declare One_int_def [symmetric, simp]
 
-text{*cooper.ML refers to this theorem*}
 lemmas diff_int_def_symmetric = diff_int_def [symmetric, simp]
 
 lemma nat_0: "nat 0 = 0"
isabelle