haftmann [Mon, 12 Dec 2005 17:24:06 +0100] rev 18387
added generic name mangler
haftmann [Mon, 12 Dec 2005 15:37:35 +0100] rev 18386
improvement in eq handling
haftmann [Mon, 12 Dec 2005 15:37:05 +0100] rev 18385
improvements in class and eq handling
haftmann [Mon, 12 Dec 2005 15:36:46 +0100] rev 18384
added dummy 'print' to non-polyml systems
urbanc [Sun, 11 Dec 2005 11:57:01 +0100] rev 18383
ISAR-fied some proofs
urbanc [Sun, 11 Dec 2005 01:21:26 +0100] rev 18382
completed the sn proof and changed the manual
accordingly
urbanc [Sat, 10 Dec 2005 00:11:35 +0100] rev 18381
changed the types in accordance with Florian's changes
haftmann [Fri, 09 Dec 2005 15:25:52 +0100] rev 18380
substantial improvements for class code generation
haftmann [Fri, 09 Dec 2005 15:25:29 +0100] rev 18379
improved extraction interface
urbanc [Fri, 09 Dec 2005 12:38:49 +0100] rev 18378
tuned