This directory has the following files.

README  
   This file.

clock_flow.txt
   Proposal to simplify writing with multiple clocks.

generalized_implication.txt
   Propsoal to generalize implication so that property    
   expressions can be consequents.

original_boolean_connectives.txt
   The original proposal on boolean property connectives.

original_nesting_proposal.txt
   The original proposal on nesting implications.

property_conjunction.txt
   Proposal to add property-level conjunction.

property_disjunction.txt
   Proposal to add property-level disjunction.

property_if_else.txt
   Proposal to add property-level if-else.

property_instances.txt
   Proposal to allow instances of defined properties as
   property expressions.

property_negation.txt
   Proposal to allow general negation of property expressions.
