| Tue, 25 Jan 2005 14:49:16 +0100 | nipkow | enclosed in (*<*) (*>*) | changeset | files |
| Mon, 24 Jan 2005 18:18:28 +0100 | berghofe | Added variant of eres_inst_tac that operates on indexnames instead of strings. | changeset | files |
| Mon, 24 Jan 2005 18:16:57 +0100 | berghofe | Adapted to modified interface of PureThy.get_thm(s). | changeset | files |
| Mon, 24 Jan 2005 18:15:19 +0100 | berghofe | Eliminated hack for deleting leading question mark from induction | changeset | files |