Index of /xml/CoRN/tactics/GroupReflection

	Name	Last modified	Size	Description
	Parent Directory		-
	Group_Interpretation_Function/	2005-07-05 08:13	-
	Group_NormCorrect/	2005-07-05 08:13	-
	wfG.con.types.xml.gz	2004-11-09 18:17	196
	fexprG.ind.types.xml.gz	2004-11-09 18:18	200
	xexprG.ind.types.xml.gz	2004-11-09 18:17	200
	interpG.ind.types.xml.gz	2004-11-09 18:17	202
	finterpG.con.types.xml.gz	2004-11-09 18:18	204
	xforgetG.con.types.xml.gz	2004-11-09 18:18	204
	xinterpG.con.types.xml.gz	2004-11-09 18:18	204
	fforgetG.con.types.xml.gz	2004-11-09 18:18	205
	fexprG2wf.con.types.xml.gz	2004-11-09 18:18	207
	fexprG_rec.con.types.xml.gz	2004-11-09 18:18	209
	xexprG_rec.con.types.xml.gz	2004-11-09 18:18	209
	fexprG_rect.con.types.xml.gz	2004-11-09 18:18	210
	fexprG_var.con.types.xml.gz	2004-11-09 18:18	210
	xexprG_rect.con.types.xml.gz	2004-11-09 18:18	210
	fexprG_plus.con.types.xml.gz	2004-11-09 18:18	211
	fexprG_zero.con.types.xml.gz	2004-11-09 18:18	211
	fexprG2xexprG.con.types.xml.gz	2004-11-09 18:18	213
	fexprG_mult_int.con.types.xml.gz	2004-11-09 18:18	218
	fexprG_zero.con.xml.gz	2004-11-09 18:18	294
	xexprG_diagram_commutes.con.body.xml.gz	2004-11-09 18:18	327
	wfG.con.xml.gz	2004-11-09 18:17	346
	fforgetG.con.xml.gz	2004-11-09 18:18	347
	fexprG_plus.con.xml.gz	2004-11-09 18:18	352
	fexprG_var.con.xml.gz	2004-11-09 18:18	370
	fexprG_mult_int.con.xml.gz	2004-11-09 18:18	380
	xexprG2wfG.con.types.xml.gz	2004-11-09 18:18	389
	fexprG2wf.con.xml.gz	2004-11-09 18:18	434
	fexprG2xexprG.con.xml.gz	2004-11-09 18:18	437
	fexprG_zero.con.body.xml.gz	2004-11-09 18:18	453
	fexprG2wf.con.body.xml.gz	2004-11-09 18:18	461
	fexprG_rec.con.body.xml.gz	2004-11-09 18:18	465
	fexprG_ind.con.body.xml.gz	2004-11-09 18:18	466
	fforgetG.con.body.xml.gz	2004-11-09 18:18	466
	fexprG2interp.con.xml.gz	2004-11-09 18:18	474
	fexprG_var.con.body.xml.gz	2004-11-09 18:18	485
	finterpG.con.xml.gz	2004-11-09 18:18	491
	MI_mult_comm_int.con.xml.gz	2004-11-09 18:18	557
	xforgetG.con.xml.gz	2004-11-09 18:18	557
	xinterpG.con.body.xml.gz	2004-11-09 18:18	559
	wfG.con.body.xml.gz	2004-11-09 18:17	586
	xexprG2wfG.con.xml.gz	2004-11-09 18:18	607
	xinterpG.con.xml.gz	2004-11-09 18:18	609
	fexprG.ind.xml.gz	2004-11-09 18:18	633
	xexprG2interpG.con.xml.gz	2004-11-09 18:18	634
	xexprG_rec.con.body.xml.gz	2004-11-09 18:18	642
	xexprG_ind.con.body.xml.gz	2004-11-09 18:18	644
	xexprG_diagram_commutes.con.xml.gz	2004-11-09 18:18	664
	fexprG_mult_int.con.body.xml.gz	2004-11-09 18:18	669
	interpG_rec.con.body.xml.gz	2004-11-09 18:17	687
	interpG_ind.con.body.xml.gz	2004-11-09 18:17	688
	fexprG_rec.con.xml.gz	2004-11-09 18:18	730
	fexprG_rect.con.xml.gz	2004-11-09 18:18	736
	fexprG_ind.con.xml.gz	2004-11-09 18:18	737
	fexprG2xexprG.con.body.xml.gz	2004-11-09 18:18	753
	finterpG.con.body.xml.gz	2004-11-09 18:18	770
	interpG_rec.con.types.xml.gz	2004-11-09 18:17	778
	fexprG2interp.con.body.xml.gz	2004-11-09 18:18	793
	xexprG2wfG.con.body.xml.gz	2004-11-09 18:18	795
	xexprG_diagram_commutes.con.types.xml.gz	2004-11-09 18:18	800
	refl_interpG.con.xml.gz	2004-11-09 18:18	808
	interpG_wd.con.xml.gz	2004-11-09 18:18	811
	NormG_corr_G.con.xml.gz	2004-11-09 18:23	823
	PP_mult_corr_G.con.xml.gz	2004-11-09 18:23	873
	fexprG_rect.con.body.xml.gz	2004-11-09 18:18	873
	MI_mult_corr_G.con.xml.gz	2004-11-09 18:19	878
	MV_mult_corr_G.con.xml.gz	2004-11-09 18:20	885
	fexprG_ind.con.types.xml.gz	2004-11-09 18:18	920
	fexprG_plus.con.body.xml.gz	2004-11-09 18:18	960
	fexprG2interp.con.types.xml.gz	2004-11-09 18:18	1.0K
	PM_mult_corr_G.con.xml.gz	2004-11-09 18:23	1.0K
	MM_mult_corr_G.con.xml.gz	2004-11-09 18:20	1.0K
	interpG_rect.con.types.xml.gz	2004-11-09 18:17	1.2K
	Tactic_lemmaG.con.xml.gz	2004-11-09 18:23	1.2K
	PM_plus_corr_G.con.xml.gz	2004-11-09 18:22	1.2K
	MM_plus_corr_G.con.xml.gz	2004-11-09 18:22	1.3K
	PP_plus_corr_G.con.xml.gz	2004-11-09 18:23	1.3K
	INDEX	2005-07-05 08:11	2.1K
	Tactic_lemmaG.con.types.xml.gz	2004-11-09 18:23	2.2K
	Tactic_lemmaG.con.body.xml.gz	2004-11-09 18:23	2.3K
	xforgetG.con.body.xml.gz	2004-11-09 18:18	2.8K
	MI_mult_comm_int.con.body.xml.gz	2004-11-09 18:18	2.8K
	xexprG.ind.xml.gz	2004-11-09 18:17	3.1K
	interpG.ind.xml.gz	2004-11-09 18:17	4.0K
	xexprG_rec.con.xml.gz	2004-11-09 18:18	4.1K
	xexprG_rect.con.xml.gz	2004-11-09 18:18	4.1K
	xexprG_ind.con.xml.gz	2004-11-09 18:18	4.1K
	MI_mult_comm_int.con.types.xml.gz	2004-11-09 18:18	5.0K
	interpG_rec.con.xml.gz	2004-11-09 18:17	5.1K
	interpG_rect.con.xml.gz	2004-11-09 18:17	5.1K
	interpG_ind.con.xml.gz	2004-11-09 18:17	5.1K
	xexprG_rect.con.body.xml.gz	2004-11-09 18:18	6.8K
	xexprG2interpG.con.body.xml.gz	2004-11-09 18:18	6.9K
	xexprG_ind.con.types.xml.gz	2004-11-09 18:18	7.1K
	interpG_ind.con.types.xml.gz	2004-11-09 18:17	9.6K
	interpG_rect.con.body.xml.gz	2004-11-09 18:17	9.9K
	xexprG2interpG.con.types.xml.gz	2004-11-09 18:18	14K
	interpG_wd.con.body.xml.gz	2004-11-09 18:18	20K
	interpG_wd.con.types.xml.gz	2004-11-09 18:18	20K
	PP_plus_corr_G.con.body.xml.gz	2004-11-09 18:23	49K
	PP_mult_corr_G.con.body.xml.gz	2004-11-09 18:23	57K
	PP_mult_corr_G.con.types.xml.gz	2004-11-09 18:23	97K
	PP_plus_corr_G.con.types.xml.gz	2004-11-09 18:23	114K
	NormG_corr_G.con.body.xml.gz	2004-11-09 18:23	117K
	PM_plus_corr_G.con.body.xml.gz	2004-11-09 18:22	194K
	MV_mult_corr_G.con.body.xml.gz	2004-11-09 18:20	206K
	NormG_corr_G.con.types.xml.gz	2004-11-09 18:23	224K
	PM_mult_corr_G.con.body.xml.gz	2004-11-09 18:23	274K
	refl_interpG.con.body.xml.gz	2004-11-09 18:18	324K
	MM_mult_corr_G.con.body.xml.gz	2004-11-09 18:20	384K
	PM_plus_corr_G.con.types.xml.gz	2004-11-09 18:22	414K
	PM_mult_corr_G.con.types.xml.gz	2004-11-09 18:23	487K
	refl_interpG.con.types.xml.gz	2004-11-09 18:18	530K
	MI_mult_corr_G.con.body.xml.gz	2004-11-09 18:19	566K
	MV_mult_corr_G.con.types.xml.gz	2004-11-09 18:20	649K
	MM_mult_corr_G.con.types.xml.gz	2004-11-09 18:20	704K
	MM_plus_corr_G.con.body.xml.gz	2004-11-09 18:22	774K
	MI_mult_corr_G.con.types.xml.gz	2004-11-09 18:19	1.1M
	MM_plus_corr_G.con.types.xml.gz	2004-11-09 18:22	1.6M