| changeset 1806 | 90095f23fc60 |
| parent 1774 | c34347ec7ab3 |
| child 1830 | 8db45a106569 |
| child 1875 | 0c3fa0cc2d82 |
| 1805:f187f20f0a79 | 1806:90095f23fc60 |
|---|---|
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" "Perm" "Fv" "Rsp" "Lift" |
4 "../Nominal-General/Nominal2_Supp" |
5 "Perm" "Fv" "Rsp" "Lift" |
|
5 begin |
6 begin |
6 |
7 |
7 section{* Interface for nominal_datatype *} |
8 section{* Interface for nominal_datatype *} |
8 |
9 |
9 text {* |
10 text {* |