constants : (string -> term list)

SYNOPSIS
Returns a list of the constants defined in a named theory.

DESCRIBE
The call
   constants `thy`
where thy is an ancestor theory (the special string `-` means the current theory), returns a list of all the constants in that theory.

FAILURE
Fails if the named theory does not exist, or is not an ancestor of the current theory.

EXAMPLE
#constants `combin`;;
["I"; "S"; "K"; "$o"] : term list

SEEALSO  axioms,   binders,   definitions,   infixes,   theorems

HOL  Kananaskis 0