| Thu, 11 May 2006 19:19:33 +0200 | wenzelm | tuned; | changeset | files |
| 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 |
| Thu, 11 May 2006 19:15:14 +0200 | wenzelm | tuned Defs.merge; | changeset | files |
| Thu, 11 May 2006 19:15:13 +0200 | wenzelm | allow dependencies of disjoint collections of instances; | changeset | files |
| Thu, 11 May 2006 19:15:12 +0200 | wenzelm | use IntGraph from Pure; | changeset | files |