HomeIsabelle/Phabricator

tuned signature -- following Export_Theory.Spec_Rule in Scala;

Authored by makarius.

Description

tuned signature -- following Export_Theory.Spec_Rule in Scala;

Details

Committed
makariusDec 2 2019, 12:03 PM
Parents
rISABELLE8508cc7f79aa: tuned comment;
Branches
Unknown
Tags
Unknown