Mon, 26 Jun 2017 11:07:48 +0200 | wenzelm | clarified indentation; | changeset | files |
Mon, 26 Jun 2017 16:59:44 +0100 | paulson | More tidying of horrible proofs | changeset | files |
Mon, 26 Jun 2017 14:26:03 +0100 | paulson | A few renamings and several tidied-up proofs | changeset | files |