Entry	Value
Package Name	list-length-def
Count	2
Theorems	LENGTH_CONS : !h t. LENGTH (CONS h t) = SUC (LENGTH t) LENGTH_NIL : LENGTH [] = 0

Back to main package page