Index of /version/current/html/proofs/tarski

	Name	Last modified	Size	Description
	Parent Directory		-
	1_1_1	2022-03-02 19:22	2.5K
	1_1_2	2022-03-02 19:22	4.1K
	1_2_1	2022-03-02 19:22	6.7K
	3_1_1	2022-03-02 19:22	7.3K
	4_1_1	2022-03-02 19:22	5.2K
	5_1	2022-03-02 19:22	1.3K