Added "Global" instance locality to resolve future Coq warnings
Showing
- theories/channel/channel.v 7 additions, 7 deletionstheories/channel/channel.v
- theories/channel/proofmode.v 3 additions, 3 deletionstheories/channel/proofmode.v
- theories/channel/proto.v 21 additions, 21 deletionstheories/channel/proto.v
- theories/channel/proto_model.v 9 additions, 9 deletionstheories/channel/proto_model.v
- theories/examples/map_reduce.v 1 addition, 1 deletiontheories/examples/map_reduce.v
- theories/logrel/contexts.v 5 additions, 5 deletionstheories/logrel/contexts.v
- theories/logrel/lib/list.v 1 addition, 1 deletiontheories/logrel/lib/list.v
- theories/logrel/lib/mutex.v 2 additions, 2 deletionstheories/logrel/lib/mutex.v
- theories/logrel/model.v 3 additions, 3 deletionstheories/logrel/model.v
- theories/logrel/session_types.v 4 additions, 4 deletionstheories/logrel/session_types.v
- theories/logrel/subtyping.v 3 additions, 3 deletionstheories/logrel/subtyping.v
- theories/logrel/term_types.v 10 additions, 10 deletionstheories/logrel/term_types.v
- theories/utils/cofe_solver_2.v 1 addition, 1 deletiontheories/utils/cofe_solver_2.v
- theories/utils/contribution.v 2 additions, 2 deletionstheories/utils/contribution.v
- theories/utils/group.v 2 additions, 2 deletionstheories/utils/group.v
Loading
Please register or sign in to comment