logtk

Core types and algorithms for logic
IN THIS PACKAGE
Module Logtk . Multisets

Several Multisets

module MT : sig ... end
module MMT : sig ... end