Commit 9c382d0

authored

Merge pull request #123 from math-comp/cleanup

cleanup structure and sub-class

2 parents 9d788bb + 2e7c32c commit 9c382d0Copy full SHA for 9c382d0

2 files changed

+96

-85

lines changed

hb.elpi
structures.v

2 files changed

+96

-85

lines changed

Comments

(0)