Index of /~mptp/8.1.15_5.94.1493/html/proofs/realset1

	Name	Last modified	Size	Description
	Parent Directory		-
	1	2025-09-07 19:18	5.5K
	3_1_1	2025-09-07 19:18	1.5K
	8	2025-09-07 19:18	9.9K
	12	2025-09-07 19:18	8.3K
	14_1_1	2025-09-07 19:18	1.4K
	16	2025-09-07 19:18	9.9K
	18	2025-09-07 19:18	19K