changeset 41959 | b460124855b8 |
parent 41413 | 64cd30d6b0b8 |
child 44890 | 22f665a2e91c |
--- a/src/HOL/ex/While_Combinator_Example.thy Sun Mar 13 22:24:10 2011 +0100 +++ b/src/HOL/ex/While_Combinator_Example.thy Sun Mar 13 22:55:50 2011 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Library/While_Combinator.thy +(* Title: HOL/ex/While_Combinator_Example.thy Author: Tobias Nipkow Copyright 2000 TU Muenchen *)