| Wed, 04 Oct 2006 15:10:44 +0200 | haftmann | improvements for Haskell serialization | changeset | files |
| Wed, 04 Oct 2006 14:25:47 +0200 | haftmann | insert replacing ins ins_int ins_string | changeset | files |
| Wed, 04 Oct 2006 14:17:47 +0200 | haftmann | cleaned up some mess | changeset | files |
| Wed, 04 Oct 2006 14:17:46 +0200 | haftmann | clarified header comments | changeset | files |
| Wed, 04 Oct 2006 14:17:38 +0200 | haftmann | insert replacing ins ins_int ins_string | changeset | files |
| Wed, 04 Oct 2006 14:14:33 +0200 | haftmann | *** empty log message *** | changeset | files |
| Wed, 04 Oct 2006 11:50:37 +0200 | webertj | tuned | changeset | files |
| Wed, 04 Oct 2006 11:18:39 +0200 | krauss | Improved error reporting | changeset | files |
| Wed, 04 Oct 2006 01:43:57 +0200 | webertj | nnf_simpset built statically | changeset | files |
| Tue, 03 Oct 2006 19:40:34 +0200 | huffman | rewrite proofs of powser_insidea and termdiffs_aux | changeset | files |
| 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 |