make dom D parameter implicit and adjust Dom Mode
parent
947d9147
No related branches found
No related tags found
Showing
- tests/fin_maps.v 2 additions, 2 deletionstests/fin_maps.v
- tests/gmap.ref 1 addition, 1 deletiontests/gmap.ref
- tests/gmap.v 2 additions, 2 deletionstests/gmap.v
- theories/base.v 6 additions, 4 deletionstheories/base.v
- theories/fin_map_dom.v 90 additions, 90 deletionstheories/fin_map_dom.v
- theories/gmap.v 2 additions, 2 deletionstheories/gmap.v
- theories/gmultiset.v 2 additions, 2 deletionstheories/gmultiset.v
Loading
Please register or sign in to comment