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…

	Florian

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de

Attachment: signature.asc
Description: OpenPGP digital signature



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