Index of /~chad/mizar40_mg/t5_real

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2020-10-27 08:47	722
	t5_real.mg	2020-10-26 18:55	820
	t5_real.p	2020-10-26 11:34	1.1K
	t5_real.pdf	2020-10-27 07:11	65K
	t5_real.pfg	2020-12-16 16:37	1.0K
	t5_real.tex	2020-10-26 23:18	2.3K