• Ralf Jung's avatar
    Bring back wp_bindi · d6e6d71e
    Ralf Jung authored
    I know we don't use it.  Stating theorems also serves to document things, and IMHO this one is informative.  It also costs us nothing.
    d6e6d71e
Name
Last commit
Last update
..
lib Loading commit data...
derived.v Loading commit data...
heap.v Loading commit data...
lang.v Loading commit data...
lifting.v Loading commit data...
notation.v Loading commit data...
proofmode.v Loading commit data...
substitution.v Loading commit data...
tactics.v Loading commit data...
wp_tactics.v Loading commit data...