• Robbert Krebbers's avatar
    Rename type classes in proof mode. · 1aae01e6
    Robbert Krebbers authored
    We are now using the prefixes Into, From, and Is (the first two are
    inspired by the names of some traits in the Rust stdlib), and hopefully
    doing that consistenly.
    1aae01e6
Name
Last commit
Last update
algebra Loading commit data...
benchmark Loading commit data...
docs Loading commit data...
heap_lang Loading commit data...
prelude Loading commit data...
program_logic Loading commit data...
proofmode Loading commit data...
tests Loading commit data...
.gitignore Loading commit data...
.gitlab-ci.yml Loading commit data...
LICENSE Loading commit data...
Makefile Loading commit data...
ProofMode.md Loading commit data...
README.md Loading commit data...
_CoqProject Loading commit data...
naming.txt Loading commit data...