src/HOL/Meson.thy
changeset 39944 03ac1fbc76d3
parent 39941 02fcd9cd1eac
child 39946 78faa9b31202
     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