| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Tue, 26 Apr 2016 22:39:17 +0200 | wenzelm | 'obtain' supports structured statements (similar to 'define'); | file | diff | annotate |
| Tue, 26 Apr 2016 19:37:47 +0200 | wenzelm | more uniform operations for structured statements; | file | diff | annotate |
| Tue, 26 Apr 2016 16:20:28 +0200 | wenzelm | defs are closed, which leads to proper auto_bind_facts; | file | diff | annotate |
| Sun, 24 Apr 2016 20:29:49 +0200 | wenzelm | clarified modules; | file | diff | annotate |
| Mon, 18 Apr 2016 20:24:19 +0200 | wenzelm | prefer internal attribute source; | file | diff | annotate |
| Sun, 13 Dec 2015 21:56:15 +0100 | wenzelm | more general types Proof.method / context_tactic; | file | diff | annotate |