Index of /garden/ghilbert/pax

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