Normalization by evaluation now considers type classes via explicit
dictionary construction. Available via command ``normal_form'' and
method ``normalization''.
Florian
--
PGP available:
http://www4.informatik.tu-muenchen.de/~haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de.pgp
-------------- next part --------------
A non-text attachment was scrubbed...
Name: florian.haftmann.vcf
Type: text/x-vcard
Size: 640 bytes
Desc: not available
Url :
https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20071024/f1658c34/attachment.vcf
