Doug Coleman 32954b75ad use functors to define human-sort		2009-04-03 17:28:31 -05:00
..
human	use functors to define human-sort	2009-04-03 17:28:31 -05:00
insertion	Change tags a bit	2008-11-14 20:17:27 -06:00
slots	Add summary for heaps more vocabs	2009-02-16 21:05:13 -06:00