changeset 41144 | 509e51b7509a |
parent 38991 | 0e2798f30087 |
child 41413 | 64cd30d6b0b8 |
--- a/src/HOL/Metis_Examples/Abstraction.thy Wed Dec 15 11:26:28 2010 +0100 +++ b/src/HOL/Metis_Examples/Abstraction.thy Wed Dec 15 11:26:28 2010 +0100 @@ -1,7 +1,8 @@ (* Title: HOL/Metis_Examples/Abstraction.thy Author: Lawrence C Paulson, Cambridge University Computer Laboratory + Author: Jasmin Blanchette, TU Muenchen -Testing the metis method. +Testing Metis. *) theory Abstraction