Doug Coleman 815591e10c factor: m: { a b } -> M\\ a b		2017-10-12 21:22:41 -05:00
..
authors.txt	…
transforms.factor	factor: m: { a b } -> M\\ a b	2017-10-12 21:22:41 -05:00