../ automerge-paper.json.zip 24-Jul-2006 01:21 6133354 automerge-paper.tex 24-Jul-2006 01:21 104852 automerge_paper_helpers.rs 24-Jul-2006 01:21 4216 basic.rs 24-Jul-2006 01:21 3268 lists.rs 24-Jul-2006 01:21 4047 map.rs 24-Jul-2006 01:21 927 props.proptest-regressions 24-Jul-2006 01:21 2268 props.rs 24-Jul-2006 01:21 2318 text.rs 24-Jul-2006 01:21 2908 x_automerge_paper.rs 24-Jul-2006 01:21 939