src/HOL/Library/Quadratic_Discriminant.thy
2016-01-05 wenzelm 2016-01-05 updated headers;
2015-06-17 wenzelm 2015-06-17 isabelle update_cartouches;
2015-04-30 paulson 2015-04-30 tidying some messy proofs