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