| author | Christian Urban <urbanc@in.tum.de> |
| Sat, 17 Dec 2011 17:03:01 +0000 | |
| branch | Nominal2-Isabelle2011-1 |
| changeset 3070 | 4b4742aa43f2 |
| parent 2568 | 8193bbaa07fe |
| 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 |
|
| 2452 | 4 |
|
|
1773
c0eac04ae3b4
added README and moved examples into separate directory
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
|
5 |
Subdirectories: |
| 2452 | 6 |
=============== |
7 |
||
|
3070
4b4742aa43f2
cleaned all papers from the stable branch
Christian Urban <urbanc@in.tum.de>
parents:
2568
diff
changeset
|
8 |
Nominal ... main files |
|
4b4742aa43f2
cleaned all papers from the stable branch
Christian Urban <urbanc@in.tum.de>
parents:
2568
diff
changeset
|
9 |
Nominal/Ex ... examples |