Entry	Value
Package Name	list-reverse-def
Count	2
Theorems	REVERSE_CONS : !h t. REVERSE (CONS h t) = APPEND (REVERSE t) [h] REVERSE_NIL : REVERSE [] = []

Back to main package page