factor/basis/sorting
Doug Coleman c2df6db543 rename human-<=> to human<=>, same for human>=< 2009-01-25 23:32:02 -07:00
..
human rename human-<=> to human<=>, same for human>=< 2009-01-25 23:32:02 -07:00
insertion Change tags a bit 2008-11-14 20:17:27 -06:00
slots rename human-<=> to human<=>, same for human>=< 2009-01-25 23:32:02 -07:00