xref: /seL4-l4v-10.1.1/HOL4/src/quantHeuristics/quantHeuristicsLib.sml

structure quantHeuristicsLib :> quantHeuristicsLib =
struct

open quantHeuristicsLibBase quantHeuristicsLibSimple quantHeuristicsLibParameters quantHeuristicsLibFunRemove

end