170178Sassar+ ===================================================================== + 270178Sassar| | 370178Sassar| LIBRARY : meson | 470178Sassar| | 570178Sassar| DESCRIPTION : MESON Model Elimination first order theorem prover. | 670178Sassar| | 770178Sassar| AUTHOR : J.R.Harrison | 870178Sassar| DATE : 1996 | 970178Sassar| | 1070178Sassar| PORTED BY : D.R.Syme | 1170178Sassar| DATE : 1996 | 1270178Sassar| | 1370178Sassar| MODIFIED : R.J.Boulton | 1470178Sassar| DATE : 6 August 1996 | 1597748Sschweikh+ ===================================================================== + 1670178Sassar 1770178SassarRelevant structures: Meson 1870178Sassar 1970178SassarFunctions: 2070178Sassar val MESON : mset list -> thm list -> term -> thm 2170178Sassar val MESON_TAC : mset list -> thm list -> tactic 2270178Sassar val mk_mset : thm list -> mset 2370178Sassar 2470178Sassar