changeset 41589 | bbd861837ebc |
parent 27362 | a6dc1769fdda |
child 58648 | 3ccafeb9a1d1 |
--- a/src/HOL/IMPP/EvenOdd.thy Sun Jan 16 15:31:22 2011 +0100 +++ b/src/HOL/IMPP/EvenOdd.thy Sun Jan 16 15:53:03 2011 +0100 @@ -1,7 +1,5 @@ (* Title: HOL/IMPP/EvenOdd.thy - ID: $Id$ - Author: David von Oheimb - Copyright 1999 TUM + Author: David von Oheimb, TUM *) header {* Example of mutually recursive procedures verified with Hoare logic *}