HomeIsabelle/Phabricator

Minor improvement of handling of string literals in symbolic evaluator.

Description

Minor improvement of handling of string literals in symbolic evaluator.

Details

Provenance
Achim D. Brucker <adbrucker@0x5f.org>Authored on
Parents
rAFP3dbf109dead7: Merge
Branches
Unknown
Tags
Unknown