| changeset 32564 | 378528d2f7eb |
| parent 32518 | e3c4e337196c |
| child 32858 | 51fda1c8fa2d |
| 32563:c4a12569de89 | 32564:378528d2f7eb |
|---|---|
1 (* Title: mirabelle_refute.ML |
1 (* Title: HOL/Mirabelle/Tools/mirabelle_refute.ML |
2 Author: Jasmin Blanchette and Sascha Boehme |
2 Author: Jasmin Blanchette and Sascha Boehme, TU Munich |
3 *) |
3 *) |
4 |
4 |
5 structure Mirabelle_Refute : MIRABELLE_ACTION = |
5 structure Mirabelle_Refute : MIRABELLE_ACTION = |
6 struct |
6 struct |
7 |
7 |