Re: [isabelle] Code generation for sets (in the development version)

Hi Lukas,

> export_code List.map_project Set.union in SML file -

bad luck.  List.map_project would fit best in Set.thy, but there is no
option type yet.  It could be moved to Option.thy, but then the same
problem occurs with Option.set.

No idea the the moment…



PGP available:

Attachment: signature.asc
Description: OpenPGP digital signature

This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.