let
user_axiomdefs =
Hashtbl
.create 131