Mon, 02 Oct 2006 23:15:35 +0200 | huffman | generalize summability lemmas using class banach | changeset | files |
Mon, 02 Oct 2006 23:01:14 +0200 | haftmann | clarified setup name | changeset | files |
Mon, 02 Oct 2006 23:01:11 +0200 | haftmann | various code refinements | changeset | files |
Mon, 02 Oct 2006 23:01:09 +0200 | haftmann | fixed some Haskell issues | changeset | files |
Mon, 02 Oct 2006 23:01:05 +0200 | haftmann | changed preprocessing framework | changeset | files |
Mon, 02 Oct 2006 23:01:04 +0200 | haftmann | clarified some things | changeset | files |