Index - D
| 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 |
gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.
Index - D
| 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 |