thys4/posix/BasicIdentities.thy
2022-10-03 Chengsong more
2022-08-29 Chengsong bsimp idempotency
less more (0) tip