Entry	Value
Package Name	list-interval-def
Count	2
Theorems	interval_suc : !m n. interval m (SUC n) = CONS m (interval (SUC m) n) interval_zero : !m. interval m 0 = []

Back to main package page