quickspec-2.1.5: Equational laws for free!

Index - N

nestQuickSpec.Internal.Term