| Wed, 05 Oct 2005 19:28:12 +0200 | wenzelm | added Poplog/PML version 15.6/2.1 (experimental!); | changeset | files |
| Wed, 05 Oct 2005 18:38:43 +0200 | haftmann | added fold_nodes, map_node_yield | changeset | files |
| Wed, 05 Oct 2005 18:38:28 +0200 | haftmann | added merge, tuned | changeset | files |
| Wed, 05 Oct 2005 14:01:32 +0200 | nipkow | added last in set lemma | changeset | files |
| Wed, 05 Oct 2005 11:18:06 +0200 | paulson | improved process handling. tidied | changeset | files |
| Wed, 05 Oct 2005 10:56:06 +0200 | paulson | more signals | changeset | files |
| Tue, 04 Oct 2005 23:39:42 +0200 | nipkow | new hd/rev/last lemmas | changeset | files |