HomeIsabelle/Phabricator

prefer UTF8 implementation from Data.Text.Encoding (foreign C);

Description

prefer UTF8 implementation from Data.Text.Encoding (foreign C);
clarified signatures and modules;

Details

Provenance
makariusAuthored on
Parents
rISABELLE97ad1687cec7: fixed HOL-ex following a5bab59d580b
Branches
Unknown
Tags
Unknown