Sindbad~EG File Manager

Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/FirstOrderLogic/
Upload File :

Name
Size
Permissions
Options
quantifiers.in
1.658 KB
-rw-r--r--
quantifiers.out
0 KB
-rw-r--r--
quantifiers.prf
0.588 KB
-rw-r--r--
quantifiers4.in
1.71 KB
-rw-r--r--
quantifiers4.out
0 KB
-rw-r--r--
quantifiers4.prf
0.117 KB
-rw-r--r--
quantifiers5.html
6.625 KB
-rw-r--r--
quantifiers5.in
1.565 KB
-rw-r--r--
quantifiers5.out
0 KB
-rw-r--r--
quantifiers5.prf
0.358 KB
-rw-r--r--
quantifiers8.html
0.973 KB
-rw-r--r--
quantifiers8.in
1.671 KB
-rw-r--r--
quantifiers8.out
0 KB
-rw-r--r--
quantifiers8.prf
0.765 KB
-rw-r--r--

Sindbad File Manager Version 1.0, Coded By Sindbad EG ~ The Terrorists