Also add "Local" to some Default Proof Using to keep them more contained
Attach a file by drag & drop or click to upload
Ralf Jung authored