Prefix generated files with [generated_].

examples/proofs/btree/btree_learn.v

examples/proofs/btree/generated_code.v

examples/proofs/btree/generated_proof_btree_find.v

examples/proofs/btree/generated_proof_btree_insert.v

examples/proofs/btree/generated_proof_btree_make_root.v

examples/proofs/btree/generated_proof_btree_member.v

examples/proofs/btree/generated_proof_free_btree.v

examples/proofs/btree/generated_proof_free_btree_nodes.v

examples/proofs/btree/generated_proof_insert_br.v

examples/proofs/btree/generated_proof_key_index.v

examples/proofs/btree/generated_proof_new_btree.v

examples/proofs/btree/generated_spec.v

examples/proofs/btree/proof_files

examples/proofs/flags/generated_code.v

examples/proofs/flags/generated_proof_sum.v

examples/proofs/flags/generated_spec.v

examples/proofs/flags/proof_files

examples/proofs/latch/generated_code.v

examples/proofs/latch/generated_proof_latch_release.v

examples/proofs/latch/generated_proof_latch_wait.v