Entry	Value
Package Name	list-dest-def
Count	6
Theorems	HD : !h t. HD (CONS h t) = h NULL_CONS : !h t. ~NULL (CONS h t) NULL_NIL : NULL [] TL : !h t. TL (CONS h t) = t case_list_cons : !b f h t. case_list b f (CONS h t) = f h t case_list_nil : !b f. case_list b f [] = b

Back to main package page