| author | Christian Urban <urbanc@in.tum.de> |
| Fri, 17 Feb 2012 11:50:09 +0000 | |
| branch | Nominal2-Isabelle2011-1 |
| changeset 3122 | 5a8ed4dad895 |
| parent 3070 | 4b4742aa43f2 |
| 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 |