twee-0.1: An equational theorem prover

Index - D

defTwee.Array
DefaultTwee.Array
DelayTwee
delete 
1 (Function)Twee.Index
2 (Function)Twee.Indexes
deleteCancellationRuleTwee
deleteLabelTwee.Queue
deleteRuleTwee
dequeueTwee.Queue
dequeueMTwee
DischargeTwee
disjTwee.Constraints
DocTwee.Pretty, Twee.Base
doubleTwee.Pretty, Twee.Base
doubleQuotesTwee.Pretty, Twee.Base