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