HomeIsabelle/Phabricator
Authored by paulson.

Description

merged

Event Timeline

Merged Changes

CommitAuthorDetailsCommitted
15129c2f4a33wenzelm
proper theory for export_proofs; 
Nov 2 2019
41685289b8ebwenzelm
tuned signature; 
Nov 2 2019