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