Index of /garden/ghilbert/pax

	Name	Last modified	Size	Description
	Parent Directory		-
	prop-full.gh	2005-11-20 08:07	106K
	pred-thms.gh	2006-10-17 22:50	56K
	prop-full.ghi	2005-11-20 08:07	55K
	peano-thms.gh	2006-10-17 22:50	48K
	pred-thms.ghi	2007-01-13 06:08	13K
	set-thms.gh	2006-07-05 08:30	13K
	assump.gh	2005-11-20 08:07	11K
	zfc-pax.gh	2007-01-13 06:08	8.6K
	peano-thms.ghi	2006-08-22 23:27	7.6K
	calcprop-thms.gh	2006-06-05 20:32	6.9K
	assump.ghi	2005-11-20 08:07	6.2K
	pred.ghi	2006-08-21 06:54	3.5K
	calcprop.ghi	2006-06-05 20:32	2.8K
	untyped.gh	2007-07-11 13:42	2.4K
	zfc-pair.gh	2007-07-11 13:42	1.7K
	peano.ghi	2006-06-14 05:29	1.6K
	set-defs.ghi	2006-07-05 08:30	1.3K
	peano-basetype.gh	2007-07-11 13:42	1.2K
	set.ghi	2006-07-04 06:21	1.1K
	calcprop-thms.ghi	2006-06-10 20:02	1.0K
	prop.ghi	2005-11-20 08:07	911
	pair.ghi	2006-07-01 19:19	524
	zfc-pax-adapter.ghi	2006-07-01 03:53	460
	calcpropeq-thms.gh	2006-06-10 20:02	430
	calcpropeq.ghi	2006-06-10 20:02	277
	basetype.ghi	2006-06-14 05:29	172
	calcpropeq-thms.ghi	2006-06-10 20:02	151