| 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 |
| Sun, 27 Jan 2008 20:04:32 +0100 | wenzelm | eliminated some legacy ML files; | changeset | files |
| Sun, 27 Jan 2008 20:04:31 +0100 | wenzelm | added bind_thms; | changeset | files |
| Sun, 27 Jan 2008 20:04:30 +0100 | wenzelm | tuned; | changeset | files |
| Sun, 27 Jan 2008 18:32:32 +0100 | wenzelm | removed legacy ML file; | changeset | files |
| Sat, 26 Jan 2008 23:15:33 +0100 | wenzelm | syntax error: unified output of priorities; | changeset | files |