Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/SetInterval.thy
changeset 23477 f4b83f03cac9
parent 23431 25ca91279a9b
child 23496 84e9216a6d0e 
--- a/src/HOL/SetInterval.thy	Fri Jun 22 22:41:17 2007 +0200
+++ b/src/HOL/SetInterval.thy	Sat Jun 23 19:33:22 2007 +0200
@@ -756,7 +756,7 @@
   show ?case by simp
 next
   case (Suc n)
-  then show ?case by (simp add: ring_eq_simps)
+  then show ?case by (simp add: ring_simps)
 qed
 
 theorem arith_series_general:
isabelle