equal
deleted
inserted
replaced
3 Author: Tobias Nipkow, TU Muenchen |
3 Author: Tobias Nipkow, TU Muenchen |
4 Author: Jasmin Blanchette, TU Muenchen |
4 Author: Jasmin Blanchette, TU Muenchen |
5 Copyright 2001 University of Cambridge |
5 Copyright 2001 University of Cambridge |
6 *) |
6 *) |
7 |
7 |
8 header {* MESON Proof Procedure (Model Elimination) *} |
8 header {* MESON Proof Method *} |
9 |
9 |
10 theory Meson |
10 theory Meson |
11 imports Datatype |
11 imports Datatype |
12 uses ("Tools/Meson/meson.ML") |
12 uses ("Tools/Meson/meson.ML") |
13 ("Tools/Meson/meson_clausify.ML") |
13 ("Tools/Meson/meson_clausify.ML") |