changeset 29650 | cc3958d31b1d |
parent 28866 | 30cd9d89a0fb |
child 29668 | 33ba3faeaa0e |
--- a/src/HOL/ex/ReflectionEx.thy Wed Jan 28 10:43:31 2009 +0100 +++ b/src/HOL/ex/ReflectionEx.thy Wed Jan 28 11:04:10 2009 +0100 @@ -1,9 +1,9 @@ -(* - ID: $Id$ +(* Title: HOL/ex/ReflectionEx.thy Author: Amine Chaieb, TU Muenchen *) header {* Examples for generic reflection and reification *} + theory ReflectionEx imports Reflection begin