core-to-isabelle icon indicating copy to clipboard operation
core-to-isabelle copied to clipboard

Published 20 hours ago • verified publisher icon atomb

Command-line arg support in core2isa

Open dagit opened this issue 13 years ago • 0 comments

dagit avatar Jun 27 '11 20:06 dagit