#!/bin/sh
../acl2-images/tactics-acl2
