equal
deleted
inserted
replaced
2 Author: Lawrence C. Paulson, Cambridge University Computer Laboratory |
2 Author: Lawrence C. Paulson, Cambridge University Computer Laboratory |
3 Author: Jia Meng, Cambridge University Computer Laboratory and NICTA |
3 Author: Jia Meng, Cambridge University Computer Laboratory and NICTA |
4 Author: Jasmin Blanchette, TU Muenchen |
4 Author: Jasmin Blanchette, TU Muenchen |
5 *) |
5 *) |
6 |
6 |
7 header {* Metis Proof Method *} |
7 section {* Metis Proof Method *} |
8 |
8 |
9 theory Metis |
9 theory Metis |
10 imports ATP |
10 imports ATP |
11 begin |
11 begin |
12 |
12 |