changeset 17907 | c20e4bddcb11 |
parent 17905 | 1574533861b1 |
child 17939 | 3925ab7b8a18 |
17906:719364f5179b | 17907:c20e4bddcb11 |
---|---|
1 (* ID: $Id$ |
1 (* ID: $Id$ |
2 Author: Jia Meng |
2 Author: Jia Meng, NICTA |
3 a method to setup "vampire" method |
3 a method to setup "vampire" method |
4 a method to setup "eprover" method |
4 a method to setup "eprover" method |
5 *) |
5 *) |
6 |
6 |
7 theory ResAtpMethods |
7 theory ResAtpMethods |