Wed, 25 Sep 2019 18:39:47 +0200 | nipkow | merged | changeset | files |
Wed, 25 Sep 2019 17:22:57 +0200 | nipkow | replaced new type ('a,'b) tree by old type ('a*'b) tree. | changeset | files |
Wed, 25 Sep 2019 14:31:00 +0200 | wenzelm | more Phabricator configuration; | changeset | files |
Tue, 24 Sep 2019 17:36:14 +0200 | nipkow | merged | changeset | files |
Tue, 24 Sep 2019 16:10:34 +0200 | nipkow | merged | changeset | files |
Tue, 24 Sep 2019 16:10:27 +0200 | nipkow | simplified proofs | changeset | files |
Tue, 24 Sep 2019 16:17:37 +0200 | wenzelm | some information about Phabricator server setup; | changeset | files |