theories/nondeterminism.v

theories/word.v
theories/memory.v
theories/peripherals.v
theories/atari.v

theories/dragster.v
theories/goal.v

-R theories atari_proofs