Entry	Value
Package Name	list-nth-def
Count	2
Theorems	nth_suc : !h t n. n < LENGTH t ==> nth (CONS h t) (SUC n) = nth t n nth_zero : !h t. nth (CONS h t) 0 = h

Back to main package page