Added theorems setsum_reindex_nonzero, setsum_mono_zero_left, setsum_mono_zero_right, setsum_mono_zero_cong_left, setsum_mono_zero_cong_right, setsum_delta, strong_setprod_reindex_cong, setprod_delta
#!/usr/bin/env bash
#
# Author: Makarius
#
# DESCRIPTION: remove named pipe
PRG="$(basename "$0")"
function usage()
{
echo
echo "Usage: isabelle $PRG NAME"
echo
echo " Remove an unused named pipe, after producing dummy output"
echo " to unblock the reader (blocks if no reader present)."
echo
exit 1
}
## main
[ "$#" != 1 ] && usage
FIFO="$1"; shift
if [ -p "$FIFO" ]; then
echo -n "" >"$FIFO" && rm -f "$FIFO"
fi