Index of /xml/Nijmegen/QArith/Qpositive

	Name	Last modified	Size	Description
	Parent Directory		-
	INDEX	2005-07-05 08:11	2.1K
	Qpositive.ind.types.xml.gz	2004-04-08 15:21	198
	Qpositive.ind.xml.gz	2004-04-08 15:21	391
	Qpositive_c.con.body.xml.gz	2004-04-08 15:21	1.1K
	Qpositive_c.con.types.xml.gz	2004-04-08 15:21	204
	Qpositive_c.con.xml.gz	2004-04-08 15:21	327
	Qpositive_c_equiv'.con.body.xml.gz	2004-04-08 15:23	16K
	Qpositive_c_equiv'.con.types.xml.gz	2004-04-08 15:23	36K
	Qpositive_c_equiv'.con.xml.gz	2004-04-08 15:23	917
	Qpositive_c_equiv.con.body.xml.gz	2004-04-08 15:23	447K
	Qpositive_c_equiv.con.types.xml.gz	2004-04-08 15:23	472K
	Qpositive_c_equiv.con.xml.gz	2004-04-08 15:23	904
	Qpositive_c_unfold1.con.body.xml.gz	2004-04-08 15:21	3.6K
	Qpositive_c_unfold1.con.types.xml.gz	2004-04-08 15:21	4.2K
	Qpositive_c_unfold1.con.xml.gz	2004-04-08 15:21	774
	Qpositive_c_unfold2.con.body.xml.gz	2004-04-08 15:21	2.1K
	Qpositive_c_unfold2.con.types.xml.gz	2004-04-08 15:21	3.1K
	Qpositive_c_unfold2.con.xml.gz	2004-04-08 15:21	762
	Qpositive_i.con.body.xml.gz	2004-04-08 15:21	1.2K
	Qpositive_i.con.types.xml.gz	2004-04-08 15:21	204
	Qpositive_i.con.xml.gz	2004-04-08 15:21	350
	Qpositive_ind.con.body.xml.gz	2004-04-08 15:21	420
	Qpositive_ind.con.types.xml.gz	2004-04-08 15:21	810
	Qpositive_ind.con.xml.gz	2004-04-08 15:21	625
	Qpositive_inv.con.body.xml.gz	2004-04-08 15:21	688
	Qpositive_inv.con.types.xml.gz	2004-04-08 15:21	207
	Qpositive_inv.con.xml.gz	2004-04-08 15:21	293
	Qpositive_rec.con.body.xml.gz	2004-04-08 15:21	417
	Qpositive_rec.con.types.xml.gz	2004-04-08 15:21	207
	Qpositive_rec.con.xml.gz	2004-04-08 15:21	619
	Qpositive_rect.con.body.xml.gz	2004-04-08 15:21	1.0K
	Qpositive_rect.con.types.xml.gz	2004-04-08 15:21	209
	Qpositive_rect.con.xml.gz	2004-04-08 15:21	618
	absolu_inj_nat.con.body.xml.gz	2004-04-08 15:21	666
	absolu_inj_nat.con.types.xml.gz	2004-04-08 15:21	885
	absolu_inj_nat.con.xml.gz	2004-04-08 15:21	444
	absolu_mult.con.body.xml.gz	2004-04-08 15:21	1.6K
	absolu_mult.con.types.xml.gz	2004-04-08 15:21	3.6K
	absolu_mult.con.xml.gz	2004-04-08 15:21	514
	construct_correct.con.body.xml.gz	2004-04-08 15:21	31K
	construct_correct.con.types.xml.gz	2004-04-08 15:21	39K
	construct_correct.con.xml.gz	2004-04-08 15:21	694
	construct_correct2'.con.body.xml.gz	2004-04-08 15:21	8.8K
	construct_correct2'.con.types.xml.gz	2004-04-08 15:21	21K
	construct_correct2'.con.xml.gz	2004-04-08 15:21	1.0K
	construct_correct2.con.body.xml.gz	2004-04-08 15:21	33K
	construct_correct2.con.types.xml.gz	2004-04-08 15:21	59K
	construct_correct2.con.xml.gz	2004-04-08 15:21	1.1K
	construct_correct3.con.body.xml.gz	2004-04-08 15:23	91K
	construct_correct3.con.types.xml.gz	2004-04-08 15:23	231K
	construct_correct3.con.xml.gz	2004-04-08 15:23	1.0K
	construct_correct3_subproof.con.body.xml.gz	2004-04-08 15:22	453K
	construct_correct3_subproof.con.types.xml.gz	2004-04-08 15:22	307K
	construct_correct3_subproof.con.xml.gz	2004-04-08 15:22	2.0K
	construct_correct3_subproof0.con.body.xml.gz	2004-04-08 15:22	457K
	construct_correct3_subproof0.con.types.xml.gz	2004-04-08 15:22	308K
	construct_correct3_subproof0.con.xml.gz	2004-04-08 15:22	2.0K
	construct_correct3_subproof1.con.body.xml.gz	2004-04-08 15:22	121K
	construct_correct3_subproof1.con.types.xml.gz	2004-04-08 15:22	88K
	construct_correct3_subproof1.con.xml.gz	2004-04-08 15:22	1.8K
	construct_correct3_subproof2.con.body.xml.gz	2004-04-08 15:22	126K
	construct_correct3_subproof2.con.types.xml.gz	2004-04-08 15:22	91K
	construct_correct3_subproof2.con.xml.gz	2004-04-08 15:22	1.8K
	construct_correct4'.con.body.xml.gz	2004-04-08 15:23	26K
	construct_correct4'.con.types.xml.gz	2004-04-08 15:23	66K
	construct_correct4'.con.xml.gz	2004-04-08 15:23	908
	construct_correct4.con.body.xml.gz	2004-04-08 15:23	98K
	construct_correct4.con.types.xml.gz	2004-04-08 15:23	111K
	construct_correct4.con.xml.gz	2004-04-08 15:23	940
	construct_correct_subproof.con.body.xml.gz	2004-04-08 15:21	35K
	construct_correct_subproof.con.types.xml.gz	2004-04-08 15:21	30K
	construct_correct_subproof.con.xml.gz	2004-04-08 15:21	1.7K
	construct_correct_subproof0.con.body.xml.gz	2004-04-08 15:21	35K
	construct_correct_subproof0.con.types.xml.gz	2004-04-08 15:21	30K
	construct_correct_subproof0.con.xml.gz	2004-04-08 15:21	1.7K
	interp_inject.con.body.xml.gz	2004-04-08 15:23	1.8K
	interp_inject.con.types.xml.gz	2004-04-08 15:23	1.3K
	interp_inject.con.xml.gz	2004-04-08 15:23	527
	interp_non_zero.con.body.xml.gz	2004-04-08 15:21	8.2K
	interp_non_zero.con.types.xml.gz	2004-04-08 15:21	10K
	interp_non_zero.con.xml.gz	2004-04-08 15:21	670
	interp_reduced_fraction.con.body.xml.gz	2004-04-08 15:21	19K
	interp_reduced_fraction.con.types.xml.gz	2004-04-08 15:21	31K
	interp_reduced_fraction.con.xml.gz	2004-04-08 15:21	889
	inv_correct.con.body.xml.gz	2004-04-08 15:21	12K
	inv_correct.con.types.xml.gz	2004-04-08 15:21	18K
	inv_correct.con.xml.gz	2004-04-08 15:21	646
	le_minus_O.con.body.xml.gz	2004-04-08 15:21	3.2K
	le_minus_O.con.types.xml.gz	2004-04-08 15:21	3.8K
	le_minus_O.con.xml.gz	2004-04-08 15:21	494
	minus_O_le.con.body.xml.gz	2004-04-08 15:21	1.8K
	minus_O_le.con.types.xml.gz	2004-04-08 15:21	2.2K
	minus_O_le.con.xml.gz	2004-04-08 15:21	498
	minus_decompose.con.body.xml.gz	2004-04-08 15:23	957
	minus_decompose.con.types.xml.gz	2004-04-08 15:23	791
	minus_decompose.con.xml.gz	2004-04-08 15:23	566
	minus_le.con.body.xml.gz	2004-04-08 15:21	1.0K
	minus_le.con.types.xml.gz	2004-04-08 15:21	1.4K
	minus_le.con.xml.gz	2004-04-08 15:21	415
	mult_reg_l.con.body.xml.gz	2004-04-08 15:21	6.2K
	mult_reg_l.con.types.xml.gz	2004-04-08 15:21	6.7K
	mult_reg_l.con.xml.gz	2004-04-08 15:21	554