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.
update authors
authorblanchet
Mon, 04 Oct 2010 21:57:23 +0200
changeset 39944 03ac1fbc76d3
parent 39943 0ef551d47783
child 39945 277addece9b7
update authors
src/HOL/Meson.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Meson.thy	Mon Oct 04 21:55:54 2010 +0200
+++ b/src/HOL/Meson.thy	Mon Oct 04 21:57:23 2010 +0200
@@ -1,5 +1,7 @@
 (*  Title:      HOL/Meson.thy
-    Author:     Lawrence C Paulson, Tobias Nipkow
+    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
+    Author:     Tobias Nipkow, TU Muenchen
+    Author:     Jasmin Blanchette, TU Muenchen
     Copyright   2001  University of Cambridge
 *)
isabelle