| Fri, 18 Nov 2005 07:10:37 +0100 | mengj | -- changed the interface of functions vampire_oracle and eprover_oracle. | file | diff | annotate |
| Fri, 21 Oct 2005 18:14:37 +0200 | wenzelm | proper header; | file | diff | annotate |
| Fri, 21 Oct 2005 02:57:22 +0200 | mengj | Merged theory ResAtpOracle.thy into ResAtpMethods.thy | file | diff | annotate |