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 |
Tue, 07 Sep 2010 16:58:01 +0200 | haftmann | updated generated document | changeset | files |
Tue, 07 Sep 2010 16:49:32 +0200 | haftmann | only write ghc pragma when writing to a file | changeset | files |
Tue, 07 Sep 2010 16:37:23 +0200 | haftmann | added flat_program; tuned signature | changeset | files |
Tue, 07 Sep 2010 16:37:23 +0200 | haftmann | dropped ancient deresolve_base; plain_const_syntax also needs modification of instance statement | changeset | files |