Index of /~jbw/research/expansion-algebra-proofs

	Name	Last modified	Size	Description
	Parent Directory		-
	Utils.v	2012-07-03 13:24	646
	Makefile	2012-07-03 13:24	692
	Exponential.v	2012-07-03 13:24	3.5K
	MyList.v	2012-07-03 13:24	4.6K
	MyArith.v	2012-07-03 13:24	5.1K
	Expansion.v	2012-07-03 13:24	34K