log src/order.sml

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