| Sat, 22 Nov 2014 11:36:00 +0100 | wenzelm | named_theorems: multiple args; | file | diff | annotate |
| Sun, 17 Aug 2014 16:24:04 +0200 | wenzelm | made SML/NJ happy; | file | diff | annotate |
| Wed, 13 Aug 2014 16:06:32 +0200 | wenzelm | tuned signature -- proper Local_Theory.add_thms_dynamic; | file | diff | annotate |
| Wed, 13 Aug 2014 14:57:03 +0200 | wenzelm | transfer result of Global_Theory.add_thms_dynamic to context stack; | file | diff | annotate |
| Wed, 13 Aug 2014 13:57:55 +0200 | wenzelm | localized attribute definitions; | file | diff | annotate |
| Sun, 10 Aug 2014 19:53:30 +0200 | wenzelm | some localization; | file | diff | annotate |
| Sun, 10 Aug 2014 16:13:12 +0200 | wenzelm | support for named collections of theorems in canonical order; | file | diff | annotate |