#!/bin/sh
# v0.1

echo ---------------------------------------
echo `cat version`
echo
echo comments: cofi@informatik.uni-bremen.de
echo ---------------------------------------

$CASL/bin/HOL98-CASL @SMLdebug=/dev/null
