1\DOC Define 2 3\TYPE {Define : term quotation -> thm} 4 5\SYNOPSIS 6General purpose function definition facility. 7 8\DESCRIBE 9{bossLib.Define} is identical to {TotalDefn.Define}. 10 11\SEEALSO 12bossLib.Define. 13 14\ENDDOC 15