Wed, 25 Jan 2012 13:31:56 +0100 | wenzelm | tuned; | changeset | files |
Wed, 25 Jan 2012 13:24:57 +0100 | wenzelm | more on Logic.all/mk_implies etc.; | changeset | files |
Thu, 19 Jan 2012 16:16:13 +0100 | wenzelm | reduce AFP test by many hours; | changeset | files |