| changeset 1830 | 8db45a106569 |
| parent 1806 | 90095f23fc60 |
| child 1876 | b2efe803f1da |
| 1829:ac8cb569a17b | 1830:8db45a106569 |
|---|---|
1 theory Parser |
1 theory Parser |
2 imports "../Nominal-General/Nominal2_Atoms" |
2 imports "../Nominal-General/Nominal2_Atoms" |
3 "../Nominal-General/Nominal2_Eqvt" |
3 "../Nominal-General/Nominal2_Eqvt" |
4 "../Nominal-General/Nominal2_Supp" |
4 "../Nominal-General/Nominal2_Supp" |
5 "Perm" "Fv" "Rsp" "Lift" |
5 "Perm" "Equivp" "Rsp" "Lift" |
6 begin |
6 begin |
7 |
7 |
8 section{* Interface for nominal_datatype *} |
8 section{* Interface for nominal_datatype *} |
9 |
9 |
10 text {* |
10 text {* |