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