| Tue, 23 Jul 2019 12:07:50 +0200 | wenzelm | proof terms are always constructed sequentially; | file | diff | annotate |
| Mon, 08 Jan 2018 22:36:02 +0100 | wenzelm | clarified implicit Pure.thy; | file | diff | annotate |
| Sat, 02 Apr 2016 21:10:07 +0200 | wenzelm | careful export of type-dependent functions, without losing their special status; | file | diff | annotate |
| Fri, 18 Mar 2016 21:29:10 +0100 | wenzelm | observe ML print depth; | file | diff | annotate |
| Fri, 18 Mar 2016 17:51:57 +0100 | wenzelm | clarified Pretty.T toplevel pp; | file | diff | annotate |
| Fri, 18 Mar 2016 16:38:40 +0100 | wenzelm | clarified modules; | file | diff | annotate | base |