update authors
authorblanchet
Mon Oct 04 21:57:23 2010 +0200 (2010-10-04)
changeset 3994403ac1fbc76d3
parent 39943 0ef551d47783
child 39945 277addece9b7
update authors
src/HOL/Meson.thy
     1.1 --- a/src/HOL/Meson.thy	Mon Oct 04 21:55:54 2010 +0200
     1.2 +++ b/src/HOL/Meson.thy	Mon Oct 04 21:57:23 2010 +0200
     1.3 @@ -1,5 +1,7 @@
     1.4  (*  Title:      HOL/Meson.thy
     1.5 -    Author:     Lawrence C Paulson, Tobias Nipkow
     1.6 +    Author:     Lawrence C. Paulson, Cambridge University Computer Laboratory
     1.7 +    Author:     Tobias Nipkow, TU Muenchen
     1.8 +    Author:     Jasmin Blanchette, TU Muenchen
     1.9      Copyright   2001  University of Cambridge
    1.10  *)
    1.11