| Sat, 25 May 2013 15:37:53 +0200 | wenzelm | syntax translations always depend on context; | file | diff | annotate |
| Thu, 16 May 2013 17:39:38 +0200 | wenzelm | tuned signature -- depend on context by default; | file | diff | annotate |
| Thu, 18 Apr 2013 17:07:01 +0200 | wenzelm | simplifier uses proper Proof.context instead of historic type simpset; | file | diff | annotate |