Tue, 21 Apr 2020 22:19:59 +0200 | wenzelm | clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system; | file | diff | annotate |
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 |