| Fri, 17 Aug 2012 14:56:37 +0200 | wenzelm | added "isabelle components" tool; | changeset | files |
| Fri, 17 Aug 2012 14:55:46 +0200 | wenzelm | tuned; | changeset | files |
| Fri, 17 Aug 2012 12:14:58 +0200 | wenzelm | direct support for component forests via init_components; | changeset | files |