Index of /packages/loglan/examples/logic

	Name	Last modified	Size	Description

	Parent Directory		-
	gentzen.ccd	1996-02-28 00:00	38K
	gentzen.log	1996-02-28 00:00	30K
	gentzen.pcd	1996-02-28 00:00	2.5K

Apache/2.4.62 (Debian) Server at sunsite.icm.edu.pl Port 443