• Ralf Jung's avatar
    Define a monoid for exclusive ownership · 3fe8c615
    Ralf Jung authored
    On branch coq-ho
    Changes not staged for commit:
    	modified:   coq-ho/core_lang.v
    Untracked files:
    	coq-ho/Makefile
    no changes added to commit (use "git add" and/or "git commit -a")
    On branch coq-ho
    Changes not staged for commit:
    	modified:   coq-ho/core_lang.v
    Untracked files:
    	coq-ho/Makefile
    no changes added to commit (use "git add" and/or "git commit -a")
    3fe8c615
Name
Last commit
Last update
lib/recdom Loading commit data...
.dir-locals.el Loading commit data...
.gitignore Loading commit data...
core_lang.v Loading commit data...
iris.v Loading commit data...
lang.v Loading commit data...
masks.v Loading commit data...
world_prop.v Loading commit data...