HomeIsabelle/Phabricator

proper theory context, e.g. for Thm.transfer;

Authored by makarius.

Description

proper theory context, e.g. for Thm.transfer;

Details

Committed
makariusNov 29 2019, 8:52 PM
Parents
rISABELLE71467e35fc3c: more structural integrity;
Branches
Unknown
Tags
Unknown