| changeset 32564 | 378528d2f7eb |
| parent 32562 | b7a7b535d607 |
| child 32567 | de411627a985 |
| 32563:c4a12569de89 | 32564:378528d2f7eb |
|---|---|
1 (* Title: mirabelle_metis.ML |
1 (* Title: HOL/Mirabelle/Tools/mirabelle_metis.ML |
2 Author: Jasmin Blanchette and Sascha Boehme |
2 Author: Jasmin Blanchette and Sascha Boehme, TU Munich |
3 *) |
3 *) |
4 |
4 |
5 structure Mirabelle_Metis : MIRABELLE_ACTION = |
5 structure Mirabelle_Metis : MIRABELLE_ACTION = |
6 struct |
6 struct |
7 |
7 |