[sv-ac] revised nesting/boolean connectives proposal

Subject: [sv-ac] revised nesting/boolean connectives proposal
From: John Havlicek (john.havlicek@motorola.com)
Date: Thu Sep 11 2003 - 17:43:29 PDT

• Next message: John Havlicek: "[sv-ac] recursion proposal"
• Previous message: Joseph Lu: "Correction : [sv-ac] proposal for #7 of v3.1 (support parameters for assertions)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

• Next message: John Havlicek: "[sv-ac] recursion proposal"
• Previous message: Joseph Lu: "Correction : [sv-ac] proposal for #7 of v3.1 (support parameters for assertions)"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Sep 11 2003 - 17:44:24 PDT