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 |
Thu, 23 Jun 2022 18:57:19 +0100 | Chengsong | bsimp def removed | changeset | files |