| Thu, 08 Nov 2001 23:57:22 +0100 | wenzelm | removed needs_filtered_use; | changeset | files |
| Thu, 08 Nov 2001 23:55:04 +0100 | wenzelm | \newcommand{\isasymindex}{\isamath{\i}}; | changeset | files |
| Thu, 08 Nov 2001 23:52:56 +0100 | wenzelm | * Isar/Pure: emulation of instantiation tactics (rule_tac, cut_tac, | changeset | files |