| Fri, 11 Jan 2002 00:27:40 +0100 | wenzelm | * Pure: localized 'lemmas', 'theorems', 'declare'; | changeset | files |
| Thu, 10 Jan 2002 21:04:15 +0100 | wenzelm | removed add_thmss; | changeset | files |
| Thu, 10 Jan 2002 21:03:46 +0100 | wenzelm | tuned; | changeset | files |
| Thu, 10 Jan 2002 16:09:26 +0100 | wenzelm | export_single; | changeset | files |
| Thu, 10 Jan 2002 16:06:39 +0100 | wenzelm | refine_tac: Tactic.norm_hhf_tac before trying rule; | changeset | files |
| Thu, 10 Jan 2002 16:04:42 +0100 | wenzelm | add_thmss_hybrid; | changeset | files |
| Thu, 10 Jan 2002 16:04:28 +0100 | wenzelm | export multi_theorem(_i), locale_multi_theorem(_i); | changeset | files |
| Thu, 10 Jan 2002 13:25:48 +0100 | paulson | stylistic changes | changeset | files |