Isabelle2013
bfe8d4f24e47 · Aux.thy -> Auxiliary.thy because AUX is a reserved name in Windows · Jan 28, 2013