let add_all_axioms tbl =
let globs = Globals.Annotations.get_all () in
let globs = List.map (fun (g, _generated) -> g) globs in
let rec do_g g =
match g with
| Daxiomatic (_ax_name, globs,_) -> do_globs globs
| Dlemma (name, _is_axiom, labels, _, pred,_) ->
add_axiom tbl name labels pred
| _ -> ()
and do_globs globs = List.iter do_g globs in
do_globs globs