lib/Tools/version

rollback of local typedef until problem with type-variables can be sorted out; fixed header

#!/usr/bin/env bash
#
# Author: Stefan Berghofer, TU Muenchen
#
# DESCRIPTION: display Isabelle version

echo 'unidentified repository version'    # filled in automatically!