History log of /seL4-l4v-master/isabelle/src/HOL/ex/Cubic_Quartic.thy
Revision Date Author Comments
# eb030641 02-Aug-2016 wenzelm <none@none>

more symbols;
# f5e47925 26-Apr-2016 wenzelm <none@none>

misc tuning and modernization;
# 35f7dccd 23-Feb-2016 nipkow <none@none>

more canonical names
# 05d4fc90 18-Feb-2016 nipkow <none@none>

tuned
# 3a481b9e 20-Jan-2016 wenzelm <none@none>

updated header;
# 41f437be 27-Dec-2014 kleing <none@none>

3 old example lemmas by Amine listed in the top 100 theorems