changeset 66453 | cc19f7ca2ed6 |
parent 63167 | 0909deb8059b |
66452:450cefec7c11 | 66453:cc19f7ca2ed6 |
---|---|
1 theory Lambda_mu |
1 theory Lambda_mu |
2 imports "../Nominal" |
2 imports "HOL-Nominal.Nominal" |
3 begin |
3 begin |
4 |
4 |
5 section \<open>Lambda-Mu according to a paper by Gavin Bierman\<close> |
5 section \<open>Lambda-Mu according to a paper by Gavin Bierman\<close> |
6 |
6 |
7 atom_decl var mvar |
7 atom_decl var mvar |