Sun, 03 May 2015 22:15:29 +0200 | blanchet | improved one-line preplaying (don't rely on 'using x by simp' to mean 'by (simp add: x)' and beware of inaccessible '(local.)this') | file | diff | annotate |
Wed, 08 Apr 2015 19:39:08 +0200 | wenzelm | proper context for Object_Logic operations; | file | diff | annotate |
Fri, 03 Apr 2015 18:36:19 +0200 | wenzelm | tuned; | file | diff | annotate |
Wed, 01 Apr 2015 10:35:43 +0200 | wenzelm | tuned signature; | file | diff | annotate |
Thu, 19 Mar 2015 22:30:57 +0100 | wenzelm | more position information; | file | diff | annotate |
Wed, 04 Mar 2015 19:53:18 +0100 | wenzelm | tuned signature -- prefer qualified names; | file | diff | annotate |
Sat, 24 Jan 2015 22:00:24 +0100 | wenzelm | tuned signature; | file | diff | annotate |