| Sat, 27 May 2006 17:42:00 +0200 | wenzelm | complete_split_rule: all Vars; | changeset | files |
| Sat, 27 May 2006 17:41:59 +0200 | wenzelm | unfold/refold: LocalDefs.meta_rewrite_rule; | changeset | files |
| Fri, 26 May 2006 22:20:07 +0200 | wenzelm | removed unused extern_thm; | changeset | files |
| Fri, 26 May 2006 22:20:06 +0200 | wenzelm | activate Defines: fix frees; | changeset | files |
| Fri, 26 May 2006 22:20:05 +0200 | wenzelm | pretty: do not exterm thm names; | changeset | files |
| Fri, 26 May 2006 22:20:05 +0200 | wenzelm | forall_intr_list: do not ignore errors; | changeset | files |
| Fri, 26 May 2006 22:20:03 +0200 | wenzelm | separate checks for acyclic/wellformed; | changeset | files |