StructTact icon indicating copy to clipboard operation
StructTact copied to clipboard

Published 20 hours ago • verified publisher icon uwplse

Seperate break_let into break_let_hyp and break_let_goal

Open Kethku opened this issue 9 years ago • 0 comments

Kethku avatar Apr 20 '16 00:04 Kethku