| changeset 58238 | a701907d621e |
| parent 53015 | a1119cf551e8 |
| child 63167 | 0909deb8059b |
| 58237:17200800a553 | 58238:a701907d621e |
|---|---|
9 (* *) |
9 (* *) |
10 (* The formalisation was done by Julien Narboux and *) |
10 (* The formalisation was done by Julien Narboux and *) |
11 (* Christian Urban. *) |
11 (* Christian Urban. *) |
12 |
12 |
13 theory SOS |
13 theory SOS |
14 imports "Nominal" |
14 imports "../Nominal" |
15 begin |
15 begin |
16 |
16 |
17 atom_decl name |
17 atom_decl name |
18 |
18 |
19 text {* types and terms *} |
19 text {* types and terms *} |