| Sat, 21 Jun 2008 16:18:51 +0200 | wenzelm | added query_type/const/class (meta data); | changeset | files |
| Sat, 21 Jun 2008 16:18:50 +0200 | wenzelm | the_tags: explicit error message; | changeset | files |
| Sat, 21 Jun 2008 16:18:49 +0200 | wenzelm | activate_context: strict the_context, no fallback on theory context; | changeset | files |