Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fixed sectioning in HOL/Library/Polynomial
authoreberlm
Tue, 05 Jan 2016 20:23:49 +0100
changeset 62067 0fd850943901
parent 62066 4db2d39aa76c
child 62071 4e6e850e97c2
Fixed sectioning in HOL/Library/Polynomial
src/HOL/Library/Polynomial.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Library/Polynomial.thy	Tue Jan 05 17:54:21 2016 +0100
+++ b/src/HOL/Library/Polynomial.thy	Tue Jan 05 20:23:49 2016 +0100
@@ -2190,7 +2190,7 @@
 qed
 
 
-section{*lead coefficient*}
+subsection {* Leading coefficient *}
 
 definition lead_coeff:: "'a::zero poly \<Rightarrow> 'a" where
   "lead_coeff p= coeff p (degree p)"
isabelle