Commit 2e7c32c

committed

cleanup structure and sub-class

1 parent 6dad7c4 commit 2e7c32cCopy full SHA for 2e7c32c

2 files changed

+96

-85

lines changed

hb.elpi
structures.v

2 files changed

+96

-85

lines changed

Comments

(0)