_CoqProject 1 KB
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
Robbert Krebbers's avatar
Robbert Krebbers committed
3
theories/utils/skip.v
4
theories/utils/llist.v
5
theories/utils/compare.v
6
theories/utils/contribution.v
7
theories/utils/group.v
8
theories/utils/cofe_solver_2.v
9
theories/utils/switch.v
Robbert Krebbers's avatar
Robbert Krebbers committed
10
theories/channel/proto_model.v
11 12
theories/channel/proto.v
theories/channel/channel.v
13
theories/channel/proofmode.v
14
theories/examples/basics.v
Robbert Krebbers's avatar
Robbert Krebbers committed
15
theories/examples/sort.v
16
theories/examples/sort_br_del.v
17
theories/examples/sort_fg.v
Robbert Krebbers's avatar
Robbert Krebbers committed
18
theories/examples/map.v
Robbert Krebbers's avatar
Robbert Krebbers committed
19
theories/examples/map_reduce.v
Jonas Kastberg's avatar
Jonas Kastberg committed
20
theories/logrel/model.v
21
theories/logrel/kind_tele.v
22
theories/logrel/subtyping.v
Robbert Krebbers's avatar
Robbert Krebbers committed
23 24 25 26
theories/logrel/environments.v
theories/logrel/term_types.v
theories/logrel/session_types.v
theories/logrel/operators.v
Robbert Krebbers's avatar
Rename.  
Robbert Krebbers committed
27
theories/logrel/term_typing_judgment.v
Robbert Krebbers's avatar
Robbert Krebbers committed
28 29
theories/logrel/subtyping_rules.v
theories/logrel/term_typing_rules.v
30
theories/logrel/lib/mutex.v
31
theories/logrel/examples/double.v
Jonas Kastberg's avatar
Jonas Kastberg committed
32
theories/logrel/examples/pair.v