quickspec-2.1.4: Equational laws for free!

Index - E

EQuickSpec.Internal.Type, QuickSpec
equalsQuickSpec.Internal.Term
EqualsBonusQuickSpec.Internal.Term
evalTermQuickSpec.Internal.Term