Entry	Value
Package Name	list-thm
Count	3
Theorems	CONS_11 : !h1 h2 t1 t2. CONS h1 t1 = CONS h2 t2 <=> h1 = h2 /\ t1 = t2 NOT_CONS_NIL : !h t. ~(CONS h t = []) list_cases : !l. l = [] \/ (?h t. l = CONS h t)

Back to main package page