Merge branch 'ralf/explicit-local-global' into 'master'
explicit Local/Global for all Instance, Arguments, Hint See merge request !207
No related branches found
No related tags found
Checking pipeline status
Showing
- tests/telescopes.v 1 addition, 0 deletionstests/telescopes.v
- theories/base.v 125 additions, 125 deletionstheories/base.v
- theories/binders.v 7 additions, 7 deletionstheories/binders.v
- theories/boolset.v 11 additions, 11 deletionstheories/boolset.v
- theories/coGset.v 6 additions, 6 deletionstheories/coGset.v
- theories/coPset.v 24 additions, 24 deletionstheories/coPset.v
- theories/countable.v 9 additions, 9 deletionstheories/countable.v
- theories/decidable.v 11 additions, 11 deletionstheories/decidable.v
- theories/fin.v 4 additions, 4 deletionstheories/fin.v
- theories/fin_map_dom.v 1 addition, 1 deletiontheories/fin_map_dom.v
- theories/fin_maps.v 15 additions, 15 deletionstheories/fin_maps.v
- theories/fin_sets.v 4 additions, 4 deletionstheories/fin_sets.v
- theories/finite.v 5 additions, 5 deletionstheories/finite.v
- theories/gmap.v 11 additions, 11 deletionstheories/gmap.v
- theories/gmultiset.v 5 additions, 5 deletionstheories/gmultiset.v
- theories/hashset.v 2 additions, 2 deletionstheories/hashset.v
- theories/hlist.v 1 addition, 1 deletiontheories/hlist.v
- theories/infinite.v 5 additions, 5 deletionstheories/infinite.v
- theories/lexico.v 21 additions, 21 deletionstheories/lexico.v
- theories/list.v 32 additions, 32 deletionstheories/list.v
Loading
Please register or sign in to comment