changeset 38027 | 505657ddb047 |
parent 38016 | 135f7d489492 |
38026:bdd19b641062 | 38027:505657ddb047 |
---|---|
1 (* Title: HOL/Tools/Sledgehammer/meson_tactic.ML |
1 (* Title: HOL/Tools/Sledgehammer/meson_tactic.ML |
2 Author: Jia Meng, Cambridge University Computer Laboratory |
2 Author: Jia Meng, Cambridge University Computer Laboratory and NICTA |
3 Author: Jasmin Blanchette, TU Muenchen |
3 Author: Jasmin Blanchette, TU Muenchen |
4 |
4 |
5 MESON general tactic and proof method. |
5 MESON general tactic and proof method. |
6 *) |
6 *) |
7 |
7 |