Commit 3a590be

dominiquedevriese

committed

Some cleanup in wp_EInit.

1 parent fe78677 commit 3a590beCopy full SHA for 3a590be

1 file changed

+84

-160

lines changed

theories/rules
- rules_EInit.v

1 file changed

+84

-160

lines changed

Comments

(0)