Index of /~peterd/agda/SmallProofs

	Name	Last modified	Size	Description
	Parent Directory		-
	BoolProofs.agda	2015-06-10 17:18	600
	BoolProofs.agdai	2015-06-10 17:18	3.8K
	NatProofs.agda	2015-06-07 14:09	1.2K
	NatProofs.agdai	2015-06-10 17:18	8.6K