HomePhabricator

proper theory for export_proofs;

Authored by makarius.

Description

proper theory for export_proofs;

Details

Committed
makariusNov 2 2019, 11:43 PM
Parents
rISABELLE41685289b8eb: tuned signature;
Branches
Unknown
Tags
Unknown