changeset 65435 | 378175f44328 |
parent 65417 | fc41a5650fb1 |
child 66886 | 960509bfd47e |
--- a/src/HOL/Computational_Algebra/Normalized_Fraction.thy Fri Apr 07 21:07:07 2017 +0200 +++ b/src/HOL/Computational_Algebra/Normalized_Fraction.thy Fri Apr 07 21:17:18 2017 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Library/Normalized_Fraction.thy +(* Title: HOL/Computational_Algebra/Normalized_Fraction.thy Author: Manuel Eberl *)