constants : string -> term list
STRUCTURE
Theory
SYNOPSIS
Returns a list of the constants defined in a named theory.
DESCRIPTION
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
- load "combinTheory";
> val it = () : unit

- constants "combin";
> val it = [`$o`, `W`, `S`, `K`, `I`, `combin$C`] : term list
SEEALSO
types, current_axioms, current_definitions, current_theorems
HOL  Trindemossen-1