Lines Matching defs:consts
353 val consts = e (content "consts") #> many (
430 in oneOf [dt_type,consts,axioms,cls,
658 (* axioms * theorems * consts *)
668 (* name * axioms * theorems * consts * datatypes *
691 (* name * axioms * theorems * consts * datatypes *
996 val consts = Ord_List.subtract cmp
999 in (axs, thms, consts) end
1005 val (axs,thms,consts) = get_basic_theory_data T
1010 in (name,axs,thms,consts,datatypes,functions,
1101 val consts = List.map (fn (n,tp) => XML.Elem
1109 imports@axioms@theorems@consts@datatypes