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 |