interrupted test/../integrate.sml for calculate.

strange observation: "===== test 4" shows, that thm requires type constraint
in order to be applied;
just done for PolyEq.thy in some axioms "separate_*".

come back to that after repair of calculate.

 #!/usr/bin/env bash

 #

 # rsync server start script

 /usr/bin/rsync --daemon --config=/home/proj/isabelle/rsyncd.conf