Commit 90cf9b6

committed

Remove top-level rules

1 parent b26020a commit 90cf9b6Copy full SHA for 90cf9b6

1 file changed

+0

-1012

lines changed

theories/rules
- rules_EInit.v

1 file changed

+0

-1012

lines changed

Comments

(0)