Entry	Value
Package Name	list-dest-thm
Count	3
Theorems	CONS_HD_TL : !l. ~NULL l ==> CONS (HD l) (TL l) = l NULL_EQ_NIL : !l. NULL l <=> l = [] case_list_id : !l. case_list [] CONS l = l

Back to main package page