| changeset 1806 | 90095f23fc60 |
| parent 1774 | c34347ec7ab3 |
| child 1830 | 8db45a106569 |
| 1805:f187f20f0a79 | 1806:90095f23fc60 |
|---|---|
1 theory Fv |
1 theory Fv |
2 imports "../Nominal-General/Nominal2_Atoms" "Abs" "Perm" "Rsp" "Nominal2_FSet" |
2 imports "../Nominal-General/Nominal2_Atoms" |
3 "Abs" "Perm" "Rsp" "Nominal2_FSet" |
|
3 begin |
4 begin |
4 |
5 |
5 (* The bindings data structure: |
6 (* The bindings data structure: |
6 |
7 |
7 Bindings are a list of lists of lists of triples. |
8 Bindings are a list of lists of lists of triples. |