Entry	Value
Package Name	list-last-def
Count	1
Theorems	LAST : !h t. LAST (CONS h t) = (if NULL t then h else LAST t)

Back to main package page