----------------------------------------------------------------------
Define                                                     (TotalDefn)
----------------------------------------------------------------------
Define : term quotation -> thm

SYNOPSIS
General purpose function definition facility.

DESCRIBE
{bossLib.Define} is identical to {TotalDefn.Define}.

SEEALSO
bossLib.Define.

----------------------------------------------------------------------