more robust parsing of TSTP sources -- Vampire has nonstandard "introduced()" tags and Waldmeister(OnTPTP) has weird "theory(...)" dependencies
#!/bin/bash
ADMIN="$(cd "$(dirname "$0")"; cd "$(pwd -P)"; pwd)"
cd "$ADMIN"
hg churn --aliases user-aliases