Merge branch 'ralf/options' into 'master'
Add "options" file Closes #81 See merge request iris/stdpp!185
Showing
- Makefile.coq.local 4 additions, 0 deletionsMakefile.coq.local
- _CoqProject 1 addition, 0 deletions_CoqProject
- theories/base.v 1 addition, 1 deletiontheories/base.v
- theories/binders.v 4 additions, 0 deletionstheories/binders.v
- theories/boolset.v 1 addition, 1 deletiontheories/boolset.v
- theories/coGset.v 10 additions, 4 deletionstheories/coGset.v
- theories/coPset.v 1 addition, 1 deletiontheories/coPset.v
- theories/countable.v 1 addition, 1 deletiontheories/countable.v
- theories/decidable.v 3 additions, 0 deletionstheories/decidable.v
- theories/fin.v 1 addition, 1 deletiontheories/fin.v
- theories/fin_map_dom.v 3 additions, 0 deletionstheories/fin_map_dom.v
- theories/fin_maps.v 5 additions, 2 deletionstheories/fin_maps.v
- theories/fin_sets.v 3 additions, 0 deletionstheories/fin_sets.v
- theories/finite.v 1 addition, 1 deletiontheories/finite.v
- theories/functions.v 1 addition, 1 deletiontheories/functions.v
- theories/gmap.v 5 additions, 1 deletiontheories/gmap.v
- theories/gmultiset.v 1 addition, 1 deletiontheories/gmultiset.v
- theories/hashset.v 1 addition, 1 deletiontheories/hashset.v
- theories/hlist.v 1 addition, 1 deletiontheories/hlist.v
- theories/infinite.v 8 additions, 1 deletiontheories/infinite.v
Loading
Please register or sign in to comment