Fix LocalContext and LocalInstance captured by sorries for the tactic mode#108
Open
augustepoiroux wants to merge 2 commits intoleanprover-community:masterfrom
Open
Fix LocalContext and LocalInstance captured by sorries for the tactic mode#108augustepoiroux wants to merge 2 commits intoleanprover-community:masterfrom
LocalContext and LocalInstance captured by sorries for the tactic mode#108augustepoiroux wants to merge 2 commits intoleanprover-community:masterfrom
