• Robbert Krebbers's avatar
    Remove CollectionOps class. · d7643649
    Robbert Krebbers authored
    This class whose name is horrible and purpose is arbitrary seems to be a
    leftover of some experiment with ch2o, a long time a ago.
    d7643649
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...