changeset 65435 | 378175f44328 |
parent 65417 | fc41a5650fb1 |
child 80061 | 4c1347e172b1 |
--- a/src/HOL/Computational_Algebra/Fraction_Field.thy Fri Apr 07 21:07:07 2017 +0200 +++ b/src/HOL/Computational_Algebra/Fraction_Field.thy Fri Apr 07 21:17:18 2017 +0200 @@ -1,4 +1,4 @@ -(* Title: HOL/Library/Fraction_Field.thy +(* Title: HOL/Computational_Algebra/Fraction_Field.thy Author: Amine Chaieb, University of Cambridge *)