| Mon, 14 Mar 2016 17:43:17 +0100 | wenzelm | record stamps of cumulative input heaps; | changeset | files |
| Wed, 16 Mar 2016 14:05:30 +0000 | paulson | Merge | changeset | files |
| Wed, 16 Mar 2016 13:57:06 +0000 | paulson | Contractible sets. Also removal of obsolete theorems and refactoring | changeset | files |