src/HOL/ex/ApproximationEx.thy
changeset 30122 1c912a9d8200
parent 29805 a5da150bd0ab
child 30413 c41afa5607be
     1.1 --- a/src/HOL/ex/ApproximationEx.thy	Thu Feb 26 20:55:47 2009 +0100
     1.2 +++ b/src/HOL/ex/ApproximationEx.thy	Thu Feb 26 20:56:59 2009 +0100
     1.3 @@ -1,6 +1,7 @@
     1.4 -(* Title:    HOL/ex/ApproximationEx.thy
     1.5 -   Author:   Johannes Hoelzl <hoelzl@in.tum.de> 2009
     1.6 +(*  Title:      HOL/ex/ApproximationEx.thy
     1.7 +    Author:     Johannes Hoelzl <hoelzl@in.tum.de> 2009
     1.8  *)
     1.9 +
    1.10  theory ApproximationEx
    1.11  imports "~~/src/HOL/Reflection/Approximation"
    1.12  begin