| quantifiers.in | |||
| quantifiers.out | |||
| quantifiers.prf | |||
| quantifiers4.in | |||
| quantifiers4.out | |||
| quantifiers4.prf | |||
| quantifiers5.html | |||
| quantifiers5.in | |||
| quantifiers5.out | |||
| quantifiers5.prf | |||
| quantifiers8.html | |||
| quantifiers8.in | |||
| quantifiers8.out | |||
| quantifiers8.prf |
| Current Path : /usr/home/beeson/public_html/michaelbeeson/research/otter-lambda/examples/FirstOrderLogic/ |
| quantifiers.in | |||
| quantifiers.out | |||
| quantifiers.prf | |||
| quantifiers4.in | |||
| quantifiers4.out | |||
| quantifiers4.prf | |||
| quantifiers5.html | |||
| quantifiers5.in | |||
| quantifiers5.out | |||
| quantifiers5.prf | |||
| quantifiers8.html | |||
| quantifiers8.in | |||
| quantifiers8.out | |||
| quantifiers8.prf |