Merge branch 'revert-8dbccce2' into 'master'
Revert "Merge branch 'robbert/sprop' into 'master'" See merge request !322
No related branches found
No related tags found
Showing
- CHANGELOG.md 0 additions, 8 deletionsCHANGELOG.md
- README.md 0 additions, 3 deletionsREADME.md
- tests/gmap.ref 0 additions, 20 deletionstests/gmap.ref
- tests/gmap.v 1 addition, 88 deletionstests/gmap.v
- theories/base.v 0 additions, 20 deletionstheories/base.v
- theories/coPset.v 48 additions, 88 deletionstheories/coPset.v
- theories/countable.v 7 additions, 2 deletionstheories/countable.v
- theories/gmap.v 16 additions, 20 deletionstheories/gmap.v
- theories/namespaces.v 1 addition, 1 deletiontheories/namespaces.v
- theories/numbers.v 94 additions, 227 deletionstheories/numbers.v
- theories/pmap.v 25 additions, 41 deletionstheories/pmap.v
Loading
Please register or sign in to comment