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