-Q theories QRC1
-arg -w -arg -notation-overridden
-arg -w -arg -notation-incompatible-format

theories/Preamble.v
theories/Language.v
theories/QRC1.v
theories/QRC1Equiv.v

theories/KripkeSemantics.v

theories/Closure.v
theories/Pairs.v
