Lines Matching defs:axioms
91 val {name,parents,axioms,definitions,theorems,sig_ps} = info_record
94 val axioms' = psort axioms |> rm_temp
97 val thml = axioms@definitions@theorems
144 pr_thms "Axiom" axioms' @
164 (if null axioms' then []
165 else [NL, NL, pthms ("Axioms",axioms')]) @
208 axioms,definitions,theorems,types,constants,struct_ps} = info_record
212 val thml = axioms@definitions@theorems
312 axioms,definitions,theorems,types,constants,struct_ps} = info_record
316 val thml = axioms@definitions@theorems
409 val axl = check "Axm" axioms