theories/tree_borrows/README.md

theories/tree_borrows/behavior.v

theories/tree_borrows/bor_lemmas.v

theories/tree_borrows/bor_semantics.v

theories/tree_borrows/defs.v

theories/tree_borrows/expr_semantics.v

theories/tree_borrows/lang.v

theories/tree_borrows/lang_base.v

theories/tree_borrows/locations.v

theories/tree_borrows/logical_state.v

theories/tree_borrows/notation.v

theories/tree_borrows/steps_access.v

theories/tree_borrows/steps_preserve.v

theories/tree_borrows/steps_progress.v

theories/tree_borrows/steps_wf.v

theories/tree_borrows/tree.v

theories/tree_borrows/tree_access_laws.v

theories/tree_borrows/wf.v