changeset 30439 | 57c68b3af2ea |
parent 29841 | 86d94bb79226 |
child 30510 | 4120fc59dd85 |
--- a/src/HOL/Decision_Procs/Dense_Linear_Order.thy Wed Mar 11 08:45:57 2009 +0100 +++ b/src/HOL/Decision_Procs/Dense_Linear_Order.thy Wed Mar 11 10:58:18 2009 +0100 @@ -1,4 +1,4 @@ -(* Title : HOL/Dense_Linear_Order.thy +(* Title : HOL/Decision_Procs/Dense_Linear_Order.thy Author : Amine Chaieb, TU Muenchen *)