_CoqProject 566 Bytes
Newer Older
1 2
-Q theories osiris
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
Jonas Kastberg Hinrichsen's avatar
Jonas Kastberg Hinrichsen committed
3
theories/base_logic/auth_excl.v
4 5 6 7 8
theories/proto/encodable.v
theories/proto/list.v
theories/proto/channel.v
theories/proto/involutive.v
theories/proto/side.v
9 10 11
theories/proto/proto_def.v
theories/proto/proto_specs.v
theories/proto/proto_enc.v
12
theories/proto/branching.v
13 14
theories/examples/examples.v
theories/examples/proofs.v
15
theories/examples/proofs_enc.v
16 17
theories/examples/branching_examples.v
theories/examples/branching_proofs.v
18
theories/examples/list_sort.v