Index of /~chad/mizar40_mg/t8_real

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2020-10-27 08:47	722
	t8_real.mg	2020-10-26 18:55	524
	t8_real.p	2020-10-26 11:34	707
	t8_real.pdf	2020-10-27 07:14	63K
	t8_real.pfg	2020-12-16 16:37	727
	t8_real.tex	2020-10-26 22:55	1.7K