changeset 62225 | c8c48906b858 |
parent 59190 | 3a594fd13ca4 |
child 62361 | 746d1698f31c |
--- a/src/HOL/ex/Cubic_Quartic.thy Wed Jan 20 19:19:55 2016 +0100 +++ b/src/HOL/ex/Cubic_Quartic.thy Wed Jan 20 23:05:57 2016 +0100 @@ -2,7 +2,7 @@ Author: Amine Chaieb *) -header "The Cubic and Quartic Root Formulas" +section "The Cubic and Quartic Root Formulas" theory Cubic_Quartic imports Complex_Main