| Sun, 27 Jan 2008 22:21:37 +0100 | wenzelm | use_thy: do not set implicit ML context anymore; | changeset | files |
| Sun, 27 Jan 2008 22:21:35 +0100 | wenzelm | added ambiguity_limit (restricts parse trees / terms printed in messages); | changeset | files |
| Sun, 27 Jan 2008 22:21:34 +0100 | wenzelm | renamed thms_containing_limit to FindTheorems.limit; | changeset | files |