[Termtools] Extension of the XTC format / predefined functions

[Martin Plücker]

Dear all,
	
unfortunately we have a little type in our last mail. The example for div
should read div(3, 2) = 1, div(-3, 2) = -1.

Best regards,
Martin Plücker

-------------- next part --------------
A non-text attachment was scrubbed...
Name: xtc.xsd
Type: application/octet-stream
Size: 13040 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20091029/a2484376/attachment-0002.obj 
-------------- next part --------------
A non-text attachment was scrubbed...
Name: xtc_semantics.patch
Type: application/octet-stream
Size: 6332 bytes
Desc: not available
Url : http://lists.lri.fr/pipermail/termtools/attachments/20091029/a2484376/attachment-0003.obj