| changeset 1774 | c34347ec7ab3 |
| parent 1744 | 00680cea0dde |
| child 1806 | 90095f23fc60 |
| 1773:c0eac04ae3b4 | 1774:c34347ec7ab3 |
|---|---|
1 theory Parser |
1 theory Parser |
2 imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "Perm" "Fv" "Rsp" "Lift" |
2 imports "../Nominal-General/Nominal2_Atoms" |
3 "../Nominal-General/Nominal2_Eqvt" |
|
4 "../Nominal-General/Nominal2_Supp" "Perm" "Fv" "Rsp" "Lift" |
|
3 begin |
5 begin |
4 |
6 |
5 section{* Interface for nominal_datatype *} |
7 section{* Interface for nominal_datatype *} |
6 |
8 |
7 text {* |
9 text {* |