added an intro lemma for freshness of products; set up
the simplifier so that it can deal with the compact and
long notation for freshness constraints (FIXME: it should
also be able to deal with the special case of freshness
of atoms)
#!/usr/bin/env bash
#
# rsync server start script
#
# $Id$
#
rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730