ancestry : string -> string list
SYNOPSIS
Gets a list of the (proper) ancestry of a theory.
DESCRIBE
A call to
ancestry "th"
returns a list of all the proper ancestors (i.e. parents, parents of parents, etc.) of the theory
th
.
FAILURE
Fails if
"th"
is not an ancestor of the current theory.
SEEALSO
parents
HOL
Kananaskis 0