Fri, 24 Jun 2022 11:41:05 +0100 | Chengsong | start of day | changeset | files |
Thu, 23 Jun 2022 21:04:43 +0100 | Chengsong | modified some proofs of s~>* | changeset | files |
Thu, 23 Jun 2022 19:11:02 +0100 | Chengsong | more deletion of bsimp related | changeset | files |