Index of /~chad/mizar40_mg/t3_real

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2020-10-27 08:47	722
	t3_real.mg	2020-10-26 18:55	477
	t3_real.p	2020-10-26 11:34	621
	t3_real.pdf	2020-10-27 07:17	63K
	t3_real.pfg	2020-12-16 16:38	657
	t3_real.tex	2020-10-26 21:58	1.6K