#!/bin/bash

exec /usr/lib/hol88-2.02.19940316dfsg/hol
