make sure short theorem names are preferred to composite ones in Sledgehammer;
this code used to work at some point
(* Author: Clemens Ballarin, started 17 July 1997
Summary theory of the development of abstract algebra.
*)
theory Abstract
imports RingHomo Field
begin
end