Mon, 20 Jun 2016 21:40:48 +0200 | wenzelm | misc tuning and modernization; | changeset | files |
Mon, 20 Jun 2016 17:51:47 +0200 | wenzelm | prefer HOL definitions; | changeset | files |
Mon, 20 Jun 2016 17:25:08 +0200 | wenzelm | tuned proof; | changeset | files |