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