README
author Christian Urban <christian dot urban at kcl dot ac dot uk>
Fri, 21 Mar 2014 15:10:13 +0000 (2014-03-21)
changeset 7 192672a6fff4
parent 2 995eb45bbadc
permissions -rw-r--r--
added files to ROOT
to build

isabelle build -d . Hoare_abc