start working on the theory of finite preorders, which form a basis for plokin orders
start working on the theory of finite preorders, which form a basis for plokin orders

Ignore-this: 5be36257a8fdf486bcc31f587d93c457

darcs-hash:20130812054451-f399b-b467f60860a901ce808db48f31c113b4caf632a9

robdockins/domains