theory set-finite

name	set-finite
version	1.62
requires	bool function natural pair set-def set-thm
meta.description	Finite sets
meta.author	Joe Leslie-Hurd <joe@gilith.com>
meta.license	MIT
meta.show	"Data.Bool"
meta.show	"Data.Pair"
meta.show	"Function"
meta.show	"Number.Natural"
meta.show	"Set"

name	main
imports	def thm

name	def
package	set-finite-def-1.37