Index of /xml/Coq/Init/Specif

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