_CoqProject 554 Bytes
Newer Older
Robbert Krebbers's avatar
Robbert Krebbers committed
1
-Q theories actris
Jonas Kastberg's avatar
Jonas Kastberg committed
2
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files,-convert_concl_no_check,-undeclared-scope,-ambiguous-paths
3
theories/utils/llist.v
4
theories/utils/compare.v
5
theories/utils/contribution.v
6
theories/utils/group.v
Robbert Krebbers's avatar
Robbert Krebbers committed
7 8 9
theories/channel/channel.v
theories/channel/proto_model.v
theories/channel/proto_channel.v
10
theories/channel/proofmode.v
11
theories/examples/basics.v
Robbert Krebbers's avatar
Robbert Krebbers committed
12
theories/examples/sort.v
13
theories/examples/sort_br_del.v
14
theories/examples/sort_fg.v
Robbert Krebbers's avatar
Robbert Krebbers committed
15
theories/examples/map.v
Robbert Krebbers's avatar
Robbert Krebbers committed
16
theories/examples/map_reduce.v