• Robbert Krebbers's avatar
    Some tweaks. · 037d8d62
    Robbert Krebbers authored
    In particular, remove ectx_language.atomic, because it seems unused
    expect for a smart constructor for language.atomic.
    037d8d62
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...
tactics.v Loading commit data...
wp_tactics.v Loading commit data...