changeset 74334 | ead56ad40e15 |
parent 74245 | 282cd3aa6cc6 |
74333:a9b20bc32fa6 | 74334:ead56ad40e15 |
---|---|
1 theory Setup |
1 theory Setup |
2 imports Complex_Main "HOL-Library.Multiset" "HOL-Library.Lattice_Syntax" |
2 imports Complex_Main "HOL-Library.Multiset" |
3 begin |
3 begin |
4 |
|
5 unbundle lattice_syntax |
|
4 |
6 |
5 ML_file \<open>../antiquote_setup.ML\<close> |
7 ML_file \<open>../antiquote_setup.ML\<close> |
6 ML_file \<open>../more_antiquote.ML\<close> |
8 ML_file \<open>../more_antiquote.ML\<close> |
7 |
9 |
8 attribute_setup all = |
10 attribute_setup all = |