Index of /~nad/repos/lib/src/Algebra/Props

	Name	Last modified	Size	Description
	Parent Directory		-
	AbelianGroup.agda	2011-12-27 20:41	1.7K
	BooleanAlgebra.agda	2011-09-24 20:24	25K
	BooleanAlgebra/	2011-09-24 20:24	-
	DistributiveLattice...>	2011-09-24 20:24	3.4K
	Group.agda	2011-09-24 20:24	2.7K
	Lattice.agda	2011-09-24 20:24	3.9K
	Ring.agda	2011-12-27 20:41	2.3K