src/Tools/8bit/mk

new theorem trans_O_subset

#!/bin/bash
#
# $Id$
#
# mk - build 8bit
#
# Assumes to be called with current directory 'Tools/8bit'

export ISABELLE8BIT=$PWD

mkdir -p bin
touch Makefile

gmake