_CoqProject 240 Bytes
Newer Older
1
2
3
-Q theories osiris
-arg -w -arg -notation-overridden,-redundant-canonical-projection,-several-object-files
theories/list.v
4
theories/auth_excl.v
5
theories/typing.v
6
theories/channel.v
7
theories/logrel.v
8
theories/examples.v
9
theories/encodable.v