Index of /packages/loglan/examples/logic
Name
Last modified
Size
Description
Parent Directory
-
gentzen.pcd
1996-02-28 00:00
2.5K
gentzen.log
1996-02-28 00:00
30K
gentzen.ccd
1996-02-28 00:00
38K
Apache/2.4.62 (Debian) Server at ftp.icm.edu.pl Port 443