Thu, 09 Jun 2005 11:04:54 +0200 | haftmann | added CONTRIBUTORS | changeset | files |
Thu, 09 Jun 2005 11:04:02 +0200 | haftmann | a very little cleanup | changeset | files |
Wed, 08 Jun 2005 23:43:19 +0200 | huffman | make up_eq and up_less into simp rules | changeset | files |