Tue, 08 May 2018 21:03:06 +0100 | paulson | merged | changeset | files |
Tue, 08 May 2018 21:02:56 +0100 | paulson | one tiny fix | changeset | files |
Tue, 08 May 2018 19:00:17 +0100 | paulson | merged | changeset | files |
Tue, 08 May 2018 10:32:31 +0100 | paulson | merged | changeset | files |
Tue, 08 May 2018 10:32:07 +0100 | paulson | tidying more messy proofs | changeset | files |
Tue, 08 May 2018 21:26:10 +0200 | nipkow | merged | changeset | files |
Tue, 08 May 2018 19:53:29 +0200 | nipkow | more efficient code | changeset | files |