Index of /~chad/mizar40_mg/t27_nat_3

	Name	Last modified	Size	Description
	Parent Directory		-
	README	2020-10-27 08:47	746
	t27_nat_3.mg	2020-10-26 18:55	2.5K
	t27_nat_3.p	2020-10-26 11:34	3.8K
	t27_nat_3.pdf	2020-10-27 07:22	71K
	t27_nat_3.pfg	2020-12-16 16:39	2.1K
	t27_nat_3.tex	2020-10-26 21:53	5.8K