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