| author | ibm-PC\ibm <xingyuanzhang@126.com> |
| Fri, 12 Sep 2014 00:41:17 +0800 | |
| changeset 23 | 452e8b557b63 |
| parent 2 | 995eb45bbadc |
| permissions | -rw-r--r-- |
|
2
995eb45bbadc
added original Separation_Algebra theory
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
1 |
to build |
|
995eb45bbadc
added original Separation_Algebra theory
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
2 |
|
|
995eb45bbadc
added original Separation_Algebra theory
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
diff
changeset
|
3 |
isabelle build -d . Hoare_abc |