Wed, 08 Sep 2010 10:45:55 +0200 | nipkow | put expand_(fun/set)_eq back in as synonyms, for compatibility | changeset | files |
Tue, 07 Sep 2010 15:56:33 -0700 | huffman | set up Nil and Cons to work as fixrec patterns | changeset | files |
Tue, 07 Sep 2010 17:36:33 +0200 | haftmann | merged | changeset | files |