| author | kuncar |
| Sun, 10 Mar 2013 12:06:48 +0100 | |
| branch | Nominal2-Isabelle2013 |
| changeset 3209 | 2fb0bc0dcbf1 |
| parent 3208 | da575186d492 |
| permissions | -rw-r--r-- |
|
1773
c0eac04ae3b4
added README and moved examples into separate directory
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
1 |
This repository contain a new implementation of |
|
c0eac04ae3b4
added README and moved examples into separate directory
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
2 |
Nominal Isabelle. |
|
c0eac04ae3b4
added README and moved examples into separate directory
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
3 |
|
|
3204
b69c8660de14
fixed problem with not fresh enough permutation name in nominal_primrec
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2568
diff
changeset
|
4 |
Compilation of Tests |
|
b69c8660de14
fixed problem with not fresh enough permutation name in nominal_primrec
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2568
diff
changeset
|
5 |
==================== |
|
b69c8660de14
fixed problem with not fresh enough permutation name in nominal_primrec
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2568
diff
changeset
|
6 |
|
|
b69c8660de14
fixed problem with not fresh enough permutation name in nominal_primrec
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2568
diff
changeset
|
7 |
isabelle build -d . -g Tests |
|
b69c8660de14
fixed problem with not fresh enough permutation name in nominal_primrec
Christian Urban <christian dot urban at kcl dot ac dot uk>
parents:
2568
diff
changeset
|
8 |
|
| 2452 | 9 |
|
|
1773
c0eac04ae3b4
added README and moved examples into separate directory
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
10 |
Subdirectories: |
| 2452 | 11 |
=============== |
12 |
||
13 |
Nominal ... main files for new Nominal Isabelle |
|
14 |
||
15 |
Nominal/Ex ... examples for new implementation |
|
16 |
||
17 |