Index of /xml/Nancy/FOUnify/nat_complements

	Name	Last modified	Size	Description
	Parent Directory		-
	P_S.con.types.xml.gz	2004-04-08 09:05	199
	nat_caseS.con.types.xml.gz	2004-04-08 09:05	207
	n_False.con.xml.gz	2004-04-08 09:05	273
	P_S.con.xml.gz	2004-04-08 09:05	335
	n_False.con.body.xml.gz	2004-04-08 09:05	340
	P_S_proof1.con.types.xml.gz	2004-04-08 09:05	366
	n_False.con.types.xml.gz	2004-04-08 09:05	386
	le_decP.con.xml.gz	2004-04-08 09:05	453
	le_decS.con.xml.gz	2004-04-08 09:05	462
	nat_eq_decP.con.xml.gz	2004-04-08 09:05	474
	P_S_proof1.con.xml.gz	2004-04-08 09:05	475
	nat_eq_decS.con.xml.gz	2004-04-08 09:05	478
	P_S_proof2.con.xml.gz	2004-04-08 09:05	481
	pred_or.con.xml.gz	2004-04-08 09:05	485
	le_S_eqP.con.xml.gz	2004-04-08 09:05	517
	nat_caseS.con.xml.gz	2004-04-08 09:05	517
	le_S_eqS.con.xml.gz	2004-04-08 09:05	521
	Diff.con.xml.gz	2004-04-08 09:05	554
	P_S.con.body.xml.gz	2004-04-08 09:05	580
	ind_leS.con.xml.gz	2004-04-08 09:05	639
	ind_leP.con.xml.gz	2004-04-08 09:05	641
	INDEX	2005-07-05 08:11	667
	P_S_proof1.con.body.xml.gz	2004-04-08 09:05	724
	nat_caseS.con.body.xml.gz	2004-04-08 09:05	726
	Diff.con.body.xml.gz	2004-04-08 09:05	815
	le_decP.con.types.xml.gz	2004-04-08 09:05	969
	Diff.con.types.xml.gz	2004-04-08 09:05	1.0K
	le_decP.con.body.xml.gz	2004-04-08 09:05	1.0K
	P_S_proof2.con.types.xml.gz	2004-04-08 09:05	1.0K
	le_decS.con.types.xml.gz	2004-04-08 09:05	1.0K
	le_S_eqP.con.types.xml.gz	2004-04-08 09:05	1.0K
	nat_eq_decP.con.types.xml.gz	2004-04-08 09:05	1.0K
	ind_leS.con.types.xml.gz	2004-04-08 09:05	1.1K
	pred_or.con.body.xml.gz	2004-04-08 09:05	1.1K
	nat_eq_decP.con.body.xml.gz	2004-04-08 09:05	1.1K
	ind_leP.con.types.xml.gz	2004-04-08 09:05	1.1K
	le_S_eqP.con.body.xml.gz	2004-04-08 09:05	1.1K
	P_S_proof2.con.body.xml.gz	2004-04-08 09:05	1.2K
	pred_or.con.types.xml.gz	2004-04-08 09:05	1.3K
	nat_eq_decS.con.types.xml.gz	2004-04-08 09:05	1.5K
	le_S_eqS.con.types.xml.gz	2004-04-08 09:05	1.5K
	ind_leP.con.body.xml.gz	2004-04-08 09:05	1.9K
	le_decS.con.body.xml.gz	2004-04-08 09:05	2.4K
	ind_leS.con.body.xml.gz	2004-04-08 09:05	2.8K
	nat_eq_decS.con.body.xml.gz	2004-04-08 09:05	3.7K
	le_S_eqS.con.body.xml.gz	2004-04-08 09:05	3.7K