Index of /xml/Suresnes/BDD/rauzy/algorithme1/Canonicity

	Name	Last modified	Size	Description
	Parent Directory		-
	Choices_eq_bdts_eq.con.body.xml.gz	2004-04-08 09:33	21K
	Choices_eq_bdts_eq.con.types.xml.gz	2004-04-08 09:33	15K
	Unique_Zero.con.body.xml.gz	2004-04-08 09:33	5.9K
	Unique_One.con.body.xml.gz	2004-04-08 09:33	5.8K
	Unique_One.con.types.xml.gz	2004-04-08 09:33	5.4K
	Unique_Zero.con.types.xml.gz	2004-04-08 09:33	5.4K
	Tautology_decidable.con.body.xml.gz	2004-04-08 09:33	2.8K
	Uniqueness.con.body.xml.gz	2004-04-08 09:33	2.7K
	Uniqueness.con.types.xml.gz	2004-04-08 09:33	2.6K
	Canonicity_Boolexp.con.body.xml.gz	2004-04-08 09:33	1.6K
	Canonicity_Boolexp.con.types.xml.gz	2004-04-08 09:33	1.6K
	Tautology_decidable.con.types.xml.gz	2004-04-08 09:33	1.6K
	Canonicity_BF.con.body.xml.gz	2004-04-08 09:33	949
	Canonicity_BF.con.types.xml.gz	2004-04-08 09:33	863
	Choices_eq_bdts_eq.con.xml.gz	2004-04-08 09:33	857
	Canonicity_BF.con.xml.gz	2004-04-08 09:33	663
	Uniqueness.con.xml.gz	2004-04-08 09:33	561
	Unique_Zero.con.xml.gz	2004-04-08 09:33	548
	Unique_One.con.xml.gz	2004-04-08 09:33	548
	Canonicity_Boolexp.con.xml.gz	2004-04-08 09:33	547
	Tautology_decidable.con.xml.gz	2004-04-08 09:33	495
	Tautology.con.body.xml.gz	2004-04-08 09:33	460
	INDEX	2005-07-05 08:14	448
	Tautology.con.xml.gz	2004-04-08 09:33	325
	Tautology.con.types.xml.gz	2004-04-08 09:33	216