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

Published 20 hours ago • verified publisher icon atomb

Output special isabelle syntax for lists

Open dagit opened this issue 13 years ago • 1 comments

dagit avatar Jun 27 '11 20:06 dagit

Talk to Brian and find out what alternatives he has figured out for this syntax.

dagit avatar Jul 25 '11 19:07 dagit