Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
8 lines (6 sloc) 190 Bytes
-arg "-w -parsing,-redundant-canonical-projection,-notation-overridden,-projection-no-head-constant"
-R theories extructures
theories/ord.v
theories/fperm.v
theories/fset.v
theories/fmap.v
You can’t perform that action at this time.