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.
tuned whitespace
authorhaftmann
Sun, 15 Apr 2012 20:41:46 +0200
changeset 47487 54a2f155621b
parent 47486 4d49f3ffe97e
child 47488 be6dd389639d
tuned whitespace
src/HOL/Library/Target_Numeral.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Target_Numeral.thy	Sun Apr 15 18:55:45 2012 +0200
+++ b/src/HOL/Library/Target_Numeral.thy	Sun Apr 15 20:41:46 2012 +0200
@@ -735,4 +735,3 @@
   by (simp add: of_nat_def of_int_of_nat max_def)
 
 end
-
isabelle