| Wed, 25 Jan 2012 13:24:57 +0100 | wenzelm | more on Logic.all/mk_implies etc.; | file | diff | annotate |
| Mon, 06 Jun 2011 19:08:46 +0200 | wenzelm | moved incr_boundvars; | file | diff | annotate |
| Mon, 06 Jun 2011 18:05:38 +0200 | wenzelm | modernized and re-unified Thm.transfer; | file | diff | annotate |
| Tue, 03 May 2011 21:44:05 +0200 | wenzelm | use existing \<hyphen>; | file | diff | annotate |
| Tue, 03 May 2011 21:07:24 +0200 | wenzelm | updated generated files; | file | diff | annotate |
| Sun, 01 May 2011 17:42:21 +0200 | wenzelm | simplified keyword markup (without formal checking); | file | diff | annotate |