thys3/BlexerSimp.thy
2022-08-02 Chengsong more
2022-07-16 Chengsong more chapter2 modifications
2022-07-13 Chengsong more
2022-07-04 Chengsong haha
2022-07-01 Chengsong more changes
2022-06-24 Chengsong more changes
2022-06-24 Chengsong start of day
2022-06-23 Chengsong modified some proofs of s~>*
2022-06-23 Chengsong more deletion of bsimp related
2022-06-23 Chengsong bsimp def removed
2022-06-23 Chengsong before removing distinctWith
2022-06-23 Chengsong before alternating rewriting relation
2022-06-23 Chengsong beforeBig changes
2022-06-23 Chengsong more changes to blexersimp.thy
2022-06-23 Chengsong hello
2022-04-28 Christian Urban a fresh directory with cleaned up code
less more (0) tip