factor/basis/sorting
Björn Lindqvist 60ffe0680e kernel: new combinator 2with = with with 2014-07-22 07:40:13 -07:00
..
functor
human
insertion kernel: new combinator 2with = with with 2014-07-22 07:40:13 -07:00
slots kernel: new combinator 2with = with with 2014-07-22 07:40:13 -07:00
title fix using, make sure article-only title sort works 2009-05-26 12:01:28 -05:00