[sv-ac] I upload examples to mantis 1549

From: Doron Bustan <dbustan_at_.....>
Date: Tue May 29 2007 - 14:14:00 PDT

these are examples for the rewrite algorithm of the
formal semantics.

Doron

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.

Received on Tue May 29 14:14:17 2007

This message: [ Message body ]
Next message: Singh, Tej: "RE: [sv-ac] call for email vote on motion regarding Mantis 1728"
Previous message: Doron Bustan: "[sv-ac] review 1681"

Contemporary messages sorted: [ By Date ] [ By Thread ] [ By Subject ] [ By Author ] [ By messages with attachments ]

This archive was generated by hypermail 2.1.8 : Tue May 29 2007 - 14:14:25 PDT