| Wed, 25 Jan 2012 15:39:08 +0100 | wenzelm | updated RSN, RL, RLN, MRS; | file | diff | annotate |
| Wed, 25 Jan 2012 13:31:56 +0100 | wenzelm | tuned; | file | diff | annotate |
| 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 |