Entry	Value
Package Name	list-filter-def
Count	2
Theorems	FILTER_CONS : !p h t. FILTER p (CONS h t) = (if p h then CONS h (FILTER p t) else FILTER p t) FILTER_NIL : !p. FILTER p [] = []

Back to main package page