| Sun, 12 May 2013 13:08:23 +0200 | wenzelm | proper context; | file | diff | annotate |
| Sat, 27 Apr 2013 20:50:20 +0200 | wenzelm | uniform Proof.context for hyp_subst_tac; | file | diff | annotate |
| Sat, 27 Apr 2013 11:37:50 +0200 | blanchet | tuned ML and thy file names | file | diff | annotate | base |