lib common complete_rg text automath xml basic_rg basic_ag toplevel