log src/order.sig

age author description
2008-11-08 Adam Chlipala Broaden set of possible especializations
2008-08-08 Adam Chlipala Specialization of single-parameter datatypes