| Mon, 01 Aug 2005 19:20:21 +0200 | wenzelm | polyml: use polyml-platform/version from Isabelle distribution; | changeset | files |
| Mon, 01 Aug 2005 14:40:21 +0200 | wenzelm | obsolete; | changeset | files |
| Mon, 01 Aug 2005 11:39:33 +0200 | obua | 1. changed configuration variables for linear programming (Cplex_tools): | changeset | files |
| Mon, 01 Aug 2005 11:24:19 +0200 | nipkow | added map_filter lemmas | changeset | files |