1.1 --- a/src/Tools/isac/Knowledge/Partial_Fractions.thy	Tue Feb 06 15:16:43 2018 +0100
     1.2 +++ b/src/Tools/isac/Knowledge/Partial_Fractions.thy	Tue Feb 06 15:20:52 2018 +0100
     1.3 @@ -2,11 +2,8 @@
     1.4     author: Jan Rocnik, isac team
     1.5     Copyright (c) isac team 2011
     1.6     Use is subject to license terms.
     1.7 -
     1.8 -1234567890123456789012345678901234567890123456789012345678901234567890123456789012345678901234567890
     1.9 -        10        20        30        40        50        60        70        80         90      100
    1.10  *)
    1.11 -header {* Partial Fraction Decomposition *}
    1.12 +(* Partial Fraction Decomposition *)
    1.13  
    1.14  
    1.15  theory Partial_Fractions imports RootRatEq begin