Tue, 02 Aug 2016 11:49:30 +0200 | wenzelm | tuned; | changeset | files |
Tue, 02 Aug 2016 13:13:15 +0200 | immler | more natural definition of type finmap | changeset | files |
Mon, 01 Aug 2016 22:36:47 +0200 | wenzelm | tuned proof; | changeset | files |
Mon, 01 Aug 2016 22:11:29 +0200 | wenzelm | misc tuning and modernization; | changeset | files |