_CoqProject

theories/examples/bit.v

theories/examples/generative.v

theories/examples/or.v

theories/examples/symbol.v

theories/examples/ticket_lock.v

theories/lib/Y.v

theories/lib/assert.v

theories/lib/counter.v

theories/lib/list.v

theories/lib/lock.v

theories/logic/adequacy.v

theories/logic/compatibility.v

theories/logic/derived.v

theories/logic/model.v

theories/logic/rules.v

theories/reloc.v

theories/tests/proofmode_tests.v

theories/typing/fundamental.v

theories/typing/interp.v