factor/basis/strings
Slava Pestov 612e84d34d Update strings.tables for Doug's renamings 2009-01-30 03:37:01 -06:00
..
tables Update strings.tables for Doug's renamings 2009-01-30 03:37:01 -06:00