paulson [Thu, 06 Oct 2005 10:14:22 +0200] rev 17772
major simplification: removal of the goalstring argument
berghofe [Thu, 06 Oct 2005 10:13:34 +0200] rev 17771
Optimized getPreds and getSuccs.
haftmann [Thu, 06 Oct 2005 08:58:58 +0200] rev 17770
adjusted sydney to new website
haftmann [Thu, 06 Oct 2005 08:56:15 +0200] rev 17769
changed sydney share
wenzelm [Wed, 05 Oct 2005 19:28:12 +0200] rev 17768
added Poplog/PML version 15.6/2.1 (experimental!);
haftmann [Wed, 05 Oct 2005 18:38:43 +0200] rev 17767
added fold_nodes, map_node_yield
haftmann [Wed, 05 Oct 2005 18:38:28 +0200] rev 17766
added merge, tuned
nipkow [Wed, 05 Oct 2005 14:01:32 +0200] rev 17765
added last in set lemma
paulson [Wed, 05 Oct 2005 11:18:06 +0200] rev 17764
improved process handling. tidied
paulson [Wed, 05 Oct 2005 10:56:06 +0200] rev 17763
more signals