_CoqProject 553 Bytes
Newer Older
1
2
-Q theories osiris
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
3
4
theories/typing/side.v
theories/typing/stype.v
5
theories/encodings/encodable.v
6
7
8
9
10
theories/encodings/list.v
theories/encodings/auth_excl.v
theories/encodings/channel.v
theories/encodings/stype.v
theories/encodings/stype_enc.v
11
theories/encodings/branching.v
12
13
theories/examples/examples.v
theories/examples/proofs.v
14
theories/examples/proofs_enc.v
15
16
theories/examples/branching_examples.v
theories/examples/branching_proofs.v
17
theories/examples/list_sort.v