| 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 |
| Thu, 10 Jan 2002 11:22:03 +0100 | nipkow | *** empty log message *** | changeset | files |
| Thu, 10 Jan 2002 01:13:41 +0100 | wenzelm | locales: hide base name of exported version; | changeset | files |
| Thu, 10 Jan 2002 01:13:07 +0100 | wenzelm | simplified theorem(_i); | changeset | files |
| Thu, 10 Jan 2002 01:12:30 +0100 | wenzelm | IsarThy.smart_multi_theorem; | changeset | files |