changeset 72922 | d78bd4432f05 |
parent 72593 | 914f1f98839c |
child 74896 | f9908452b282 |
72921:611f4ef94901 | 72922:d78bd4432f05 |
---|---|
1 (* Title: HOL/ATP.thy |
1 (* Title: HOL/ATP.thy |
2 Author: Fabian Immler, TU Muenchen |
2 Author: Fabian Immler, TU Muenchen |
3 Author: Jasmin Blanchette, TU Muenchen |
3 Author: Jasmin Blanchette, TU Muenchen |
4 Author: Martin Desharnais, UniBw Muenchen |
|
4 *) |
5 *) |
5 |
6 |
6 section \<open>Automatic Theorem Provers (ATPs)\<close> |
7 section \<open>Automatic Theorem Provers (ATPs)\<close> |
7 |
8 |
8 theory ATP |
9 theory ATP |