Theory list

subs

17 subs

name	def
package	list-def-1.63

name	thm
imports	def
package	list-thm-1.55

name	dest
imports	def thm
package	list-dest-1.50

name	length
imports	def thm dest
package	list-length-1.53

name	set
imports	def dest length
package	list-set-1.56

name	append
imports	def thm dest length set
package	list-append-1.59

name	map
imports	def thm dest length set append
package	list-map-1.54

name	filter
imports	def length set append map
package	list-filter-1.55

name	reverse
imports	def length set append map
package	list-reverse-1.50

name	fold
imports	def length append reverse
package	list-fold-1.29

name	last
imports	def thm dest append reverse
package	list-last-1.54

name	nth
imports	def thm dest length set append map last
package	list-nth-1.62

name	replicate
imports	def thm length set append map nth
package	list-replicate-1.62

name	take-drop
imports	def thm dest length append nth replicate
package	list-take-drop-1.63

name	interval
imports	length map nth
package	list-interval-1.61

name	zip
imports	def dest fold length append map nth thm
package	list-zip-1.31

name	nub
imports	def length reverse set
package	list-nub-1.57