Define : term quotation -> thm
STRUCTURE
SYNOPSIS
General purpose function definition facility.
DESCRIPTION
bossLib.Define is identical to TotalDefn.Define.
SEEALSO
HOL  Trindemossen-1