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.
more precise authorship, reflecting my own ignorance and hg annotate
authorkrauss
Tue, 31 May 2011 11:21:47 +0200
changeset 43084 946c8e171ffd
parent 43083 df41a5762c3d
child 43085 0a2f5b86bdd7
child 43112 3117573292b8
more precise authorship, reflecting my own ignorance and hg annotate
src/HOL/Tools/Function/size.ML file | annotate | diff | comparison | revisions 
--- a/src/HOL/Tools/Function/size.ML	Tue May 31 11:16:52 2011 +0200
+++ b/src/HOL/Tools/Function/size.ML	Tue May 31 11:21:47 2011 +0200
@@ -1,5 +1,5 @@
 (*  Title:      HOL/Tools/Function/size.ML
-    Author:     Stefan Berghofer, Florian Haftmann & Alexander Krauss, TU Muenchen
+    Author:     Stefan Berghofer, Florian Haftmann, TU Muenchen
 
 Size functions for datatypes.
 *)
isabelle