let
mk_global_axiom name pred =
Dlemma
(name,
true
, [], [], unamed pred,
Location
.unknown)