HomeIsabelle/Phabricator

prefer conservative extend/merge of theory naming;

Authored by makarius.

Description

prefer conservative extend/merge of theory naming;

Details

Committed
makariusFri, Jul 17, 2:56 PM
Parents
rISABELLE912f13865596: support native PID for ML process;
Branches
Unknown
Tags
Unknown