Defining | Theory.Named, GDP |
Defn | Theory.Named, GDP |
defn | Theory.Named, GDP |
dimapImpl | Logic.Propositional, GDP |
DistributiveL | Logic.Classes, GDP |
distributiveL | Logic.Classes, GDP |
DistributiveR | Logic.Classes, GDP |
distributiveR | Logic.Classes, GDP |
Defining | Theory.Named, GDP |
Defn | Theory.Named, GDP |
defn | Theory.Named, GDP |
dimapImpl | Logic.Propositional, GDP |
DistributiveL | Logic.Classes, GDP |
distributiveL | Logic.Classes, GDP |
DistributiveR | Logic.Classes, GDP |
distributiveR | Logic.Classes, GDP |