[isabelle-dev] Normalization by evaluation

[Florian Haftmann]

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://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20071024/f1658c34/attachment-0002.vcf>