changeset 30439 | 57c68b3af2ea |
parent 30413 | c41afa5607be |
child 30443 | 873fa77be5f0 |
--- a/src/HOL/Decision_Procs/Approximation.thy Wed Mar 11 08:45:57 2009 +0100 +++ b/src/HOL/Decision_Procs/Approximation.thy Wed Mar 11 10:58:18 2009 +0100 @@ -1,4 +1,4 @@ -(* Title: HOL/Reflection/Approximation.thy +(* Title: HOL/Decision_Procs/Approximation.thy Author: Johannes Hoelzl <hoelzl@in.tum.de> 2008 / 2009 *)