| changeset 76183 | 8089593a364a |
| parent 75003 | f21e7e6172a0 |
| child 81362 | f586fdabe670 |
| 76182:11fed9812b57 | 76183:8089593a364a |
|---|---|
1 (* Title: HOL/Mirabelle/Tools/mirabelle_try0.ML |
1 (* Title: HOL/Tools/Mirabelle/mirabelle_try0.ML |
2 Author: Jasmin Blanchette, TU Munich |
2 Author: Jasmin Blanchette, TU Munich |
3 Author: Makarius |
3 Author: Makarius |
4 Author: Martin Desharnais, UniBw Munich |
4 Author: Martin Desharnais, UniBw Munich |
5 |
5 |
6 Mirabelle action: "try0". |
6 Mirabelle action: "try0". |