Index of /xml/Coq/Init/Specif

	Name	Last modified	Size	Description
	Parent Directory		-
	Choice.con.body.xml.gz	2004-04-08 01:27	1.6K
	Choice.con.proof_tree.xml.gz	2004-04-09 18:52	2.6K
	Choice.con.types.xml.gz	2004-04-08 01:27	2.1K
	Choice.con.xml.gz	2004-04-08 01:27	649
	Choice2.con.body.xml.gz	2004-04-08 01:27	1.5K
	Choice2.con.proof_tree.xml.gz	2004-04-09 18:52	2.5K
	Choice2.con.types.xml.gz	2004-04-08 01:27	193
	Choice2.con.xml.gz	2004-04-08 01:27	646
	Choice_lemmas/	2005-07-05 08:12	-
	Exc.con.body.xml.gz	2004-04-08 01:27	243
	Exc.con.types.xml.gz	2004-04-08 01:27	186
	Exc.con.xml.gz	2004-04-08 01:27	245
	INDEX	2005-07-05 08:10	1.8K
	Projections/	2005-07-05 08:12	-
	Subset_projections/	2005-07-05 08:12	-
	absurd_set.con.body.xml.gz	2004-04-08 01:27	478
	absurd_set.con.proof_tree.xml.gz	2004-04-09 18:52	950
	absurd_set.con.types.xml.gz	2004-04-08 01:27	415
	absurd_set.con.xml.gz	2004-04-08 01:27	389
	bool_choice.con.body.xml.gz	2004-04-08 01:27	2.4K
	bool_choice.con.proof_tree.xml.gz	2004-04-09 18:52	3.9K
	bool_choice.con.types.xml.gz	2004-04-08 01:27	4.6K
	bool_choice.con.xml.gz	2004-04-08 01:27	827
	error.con.body.xml.gz	2004-04-08 01:27	263
	error.con.types.xml.gz	2004-04-08 01:27	189
	error.con.xml.gz	2004-04-08 01:27	338
	except.con.body.xml.gz	2004-04-08 01:27	246
	except.con.types.xml.gz	2004-04-08 01:27	191
	except.con.xml.gz	2004-04-08 01:27	330
	proj1_sig.con.body.xml.gz	2004-04-08 01:27	595
	proj1_sig.con.types.xml.gz	2004-04-08 01:27	197
	proj1_sig.con.xml.gz	2004-04-08 01:27	359
	proj2_sig.con.body.xml.gz	2004-04-08 01:27	653
	proj2_sig.con.types.xml.gz	2004-04-08 01:27	755
	proj2_sig.con.xml.gz	2004-04-08 01:27	436
	projS1.con.body.xml.gz	2004-04-08 01:27	584
	projS1.con.types.xml.gz	2004-04-08 01:27	191
	projS1.con.xml.gz	2004-04-08 01:27	350
	projS2.con.body.xml.gz	2004-04-08 01:27	632
	projS2.con.types.xml.gz	2004-04-08 01:27	191
	projS2.con.xml.gz	2004-04-08 01:27	418
	projT1.con.body.xml.gz	2004-04-08 01:27	566
	projT1.con.types.xml.gz	2004-04-08 01:27	191
	projT1.con.xml.gz	2004-04-08 01:27	351
	projT2.con.body.xml.gz	2004-04-08 01:27	620
	projT2.con.types.xml.gz	2004-04-08 01:27	192
	projT2.con.xml.gz	2004-04-08 01:27	414
	projections_sigT/	2006-10-27 18:03	-
	sig.ind.types.xml.gz	2004-04-08 01:27	185
	sig.ind.xml.gz	2004-04-08 01:27	568
	sig2.ind.types.xml.gz	2004-04-08 01:27	187
	sig2.ind.xml.gz	2004-04-08 01:27	649
	sig2_ind.con.body.xml.gz	2004-04-08 01:27	571
	sig2_ind.con.types.xml.gz	2004-04-08 01:27	1.0K
	sig2_ind.con.xml.gz	2004-04-08 01:27	767
	sig2_rec.con.body.xml.gz	2004-04-08 01:27	570
	sig2_rec.con.types.xml.gz	2004-04-08 01:27	196
	sig2_rec.con.xml.gz	2004-04-08 01:27	766
	sig2_rect.con.body.xml.gz	2004-04-08 01:27	951
	sig2_rect.con.types.xml.gz	2004-04-08 01:27	198
	sig2_rect.con.xml.gz	2004-04-08 01:27	772
	sigS.ind.types.xml.gz	2004-04-08 01:27	187
	sigS.ind.xml.gz	2004-04-08 01:27	563
	sigS2.ind.types.xml.gz	2004-04-08 01:27	189
	sigS2.ind.xml.gz	2004-04-08 01:27	642
	sigS2_ind.con.body.xml.gz	2004-04-08 01:27	575
	sigS2_ind.con.types.xml.gz	2004-04-08 01:27	1.0K
	sigS2_ind.con.xml.gz	2004-04-08 01:27	765
	sigS2_rec.con.body.xml.gz	2004-04-08 01:27	566
	sigS2_rec.con.types.xml.gz	2004-04-08 01:27	198
	sigS2_rec.con.xml.gz	2004-04-08 01:27	755
	sigS2_rect.con.body.xml.gz	2004-04-08 01:27	942
	sigS2_rect.con.types.xml.gz	2004-04-08 01:27	199
	sigS2_rect.con.xml.gz	2004-04-08 01:27	762
	sigS_ind.con.body.xml.gz	2004-04-08 01:27	515
	sigS_ind.con.types.xml.gz	2004-04-08 01:27	860
	sigS_ind.con.xml.gz	2004-04-08 01:27	667
	sigS_rec.con.body.xml.gz	2004-04-08 01:27	512
	sigS_rec.con.types.xml.gz	2004-04-08 01:27	195
	sigS_rec.con.xml.gz	2004-04-08 01:27	657
	sigS_rect.con.body.xml.gz	2004-04-08 01:27	822
	sigS_rect.con.types.xml.gz	2004-04-08 01:27	197
	sigS_rect.con.xml.gz	2004-04-08 01:27	661
	sigT.ind.types.xml.gz	2004-04-08 01:27	187
	sigT.ind.xml.gz	2004-04-08 01:27	551
	sigT_ind.con.body.xml.gz	2004-04-08 01:27	512
	sigT_ind.con.types.xml.gz	2004-04-08 01:27	854
	sigT_ind.con.xml.gz	2004-04-08 01:27	654
	sigT_rec.con.body.xml.gz	2004-04-08 01:27	509
	sigT_rec.con.types.xml.gz	2004-04-08 01:27	195
	sigT_rec.con.xml.gz	2004-04-08 01:27	643
	sigT_rect.con.body.xml.gz	2004-04-08 01:27	805
	sigT_rect.con.types.xml.gz	2004-04-08 01:27	197
	sigT_rect.con.xml.gz	2004-04-08 01:27	643
	sig_ind.con.body.xml.gz	2004-04-08 01:27	515
	sig_ind.con.types.xml.gz	2004-04-08 01:27	861
	sig_ind.con.xml.gz	2004-04-08 01:27	670
	sig_rec.con.body.xml.gz	2004-04-08 01:27	512
	sig_rec.con.types.xml.gz	2004-04-08 01:27	194
	sig_rec.con.xml.gz	2004-04-08 01:27	670
	sig_rect.con.body.xml.gz	2004-04-08 01:27	832
	sig_rect.con.types.xml.gz	2004-04-08 01:27	195
	sig_rect.con.xml.gz	2004-04-08 01:27	673
	sumbool.ind.types.xml.gz	2004-04-08 01:27	192
	sumbool.ind.xml.gz	2004-04-08 01:27	543
	sumbool_ind.con.body.xml.gz	2004-04-08 01:27	497
	sumbool_ind.con.types.xml.gz	2004-04-08 01:27	883
	sumbool_ind.con.xml.gz	2004-04-08 01:27	690
	sumbool_rec.con.body.xml.gz	2004-04-08 01:27	498
	sumbool_rec.con.types.xml.gz	2004-04-08 01:27	201
	sumbool_rec.con.xml.gz	2004-04-08 01:27	695
	sumbool_rect.con.body.xml.gz	2004-04-08 01:27	880
	sumbool_rect.con.types.xml.gz	2004-04-08 01:27	202
	sumbool_rect.con.xml.gz	2004-04-08 01:27	696
	sumor.ind.types.xml.gz	2004-04-08 01:27	189
	sumor.ind.xml.gz	2004-04-08 01:27	545
	sumor_ind.con.body.xml.gz	2004-04-08 01:27	499
	sumor_ind.con.types.xml.gz	2004-04-08 01:27	890
	sumor_ind.con.xml.gz	2004-04-08 01:27	692
	sumor_rec.con.body.xml.gz	2004-04-08 01:27	495
	sumor_rec.con.types.xml.gz	2004-04-08 01:27	197
	sumor_rec.con.xml.gz	2004-04-08 01:27	692
	sumor_rect.con.body.xml.gz	2004-04-08 01:27	879
	sumor_rect.con.types.xml.gz	2004-04-08 01:27	199
	sumor_rect.con.xml.gz	2004-04-08 01:27	696
	value.con.body.xml.gz	2004-04-08 01:27	264
	value.con.types.xml.gz	2004-04-08 01:27	190
	value.con.xml.gz	2004-04-08 01:27	354