#!/bin/sh
./holtrace-worker namedtheorems "$@" |
./holtrace2tex-worker