Thu, 01 Jul 2010 16:54:42 +0200 | haftmann | qualified constants Set.member and Set.Collect | changeset | files |
Thu, 01 Jul 2010 16:54:42 +0200 | haftmann | "prod" and "sum" replace "*" and "+" respectively; qualified constants Set.member and Set.Collect | changeset | files |
Thu, 01 Jul 2010 15:40:58 -0700 | huffman | merged | changeset | files |