===========================================================================
This directory contains examples in Murphi 3.0 for

	Examples that use both symmetries in scalarset and multiset

Please mail bug reports, questions, suggestions, etc. to:

	"murphi@verify.stanford.edu".

===========================================================================
There are 6 files in this directory:

Makefile	: make file to generate the C++ verifier
Readme		: this file
cache3multi.m	: cache coherence protocol
newcache3.m	: cache coherence protocol, same as cache3multi.m
		  but modeled in different state variables. 
newlist6.m	: a simple distributed list protocol.
===========================================================================
