~james/reorder

reorder/smt d---------
735c0c8f — james chore(import): snapshot james.dad.town/reorder at c27220bf810c 14 hours ago
..
-rw-r--r--
fences.smt2
143 bytes
-rw-r--r--
laws.smt2
1.9 KiB
-rw-r--r--
machine.smt2
3.4 KiB