| Thu, 11 May 2006 19:19:31 +0200 | wenzelm | avoid raw equality on type thm; | changeset | files |
| Thu, 11 May 2006 19:15:16 +0200 | wenzelm | replaced Graph.fold_nodes by general Graph.fold; | changeset | files |
| Thu, 11 May 2006 19:15:15 +0200 | wenzelm | added fold; | changeset | files |