HomeIsabelle/Phabricator

maintain previous theory identifier to support semantic caching, notably in…

Description

maintain previous theory identifier to support semantic caching, notably in Isabelle/Naproche;

Details

Provenance
makariusAuthored on
Parents
rISABELLE8e9f38240c05: more exports, notably for Isabelle/Naproche;
Branches
Unknown
Tags
Unknown