HomeIsabelle/Phabricator

tuned signature -- following Export_Theory.Spec_Rule in Scala;

Description

tuned signature -- following Export_Theory.Spec_Rule in Scala;

Details

Provenance
makariusAuthored on
Parents
rISABELLE8508cc7f79aa: tuned comment;
Branches
Unknown
Tags
Unknown