improve support for mutual recursion: now generates correct copy constant and induction theorem for mutually-recursive types; initial support for indirect recursion
#!/usr/bin/env bash## rsync server start script## $Id$#rsync --daemon --config=/usr/proj/isabelle/rsyncd.conf --port=8730