changeset 41141 | ad923cdd4a5d |
parent 39260 | f94c53d9b8fb |
child 41144 | 509e51b7509a |
--- a/src/HOL/Metis_Examples/Message.thy Wed Dec 15 11:26:28 2010 +0100 +++ b/src/HOL/Metis_Examples/Message.thy Wed Dec 15 11:26:28 2010 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/MetisTest/Message.thy +(* Title: HOL/Metis_Examples/Message.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory Testing the metis method.