Searched defs:consts (Results 1 - 1 of 1) sorted by relevance
| /hets/Isabelle/export/ |
| H A D | export_helper.ml | 353 val consts = e (content "consts") #> many ( var
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,datatype
[all...] |
Completed in 51 milliseconds