equal
deleted
inserted
replaced
1 (* ID: $Id$ |
1 (* ID: $Id$ |
2 Author: Jia Meng |
2 Author: Jia Meng, NICTA |
3 |
3 |
4 setup vampire prover as an oracle |
4 setup vampire prover as an oracle |
5 setup E prover as an oracle |
5 setup E prover as an oracle |
6 *) |
6 *) |
7 |
7 |