gdp-0.0.3.0: Reason about invariants and preconditions with ghosts of departed proofs.

Index - R

reflLogic.Classes, GDP
reflectEqTheory.Equality, GDP
ReflexiveLogic.Classes, GDP
renameData.Refined, GDP
RHSData.Arguments, GDP
rmapImplLogic.Propositional, GDP