changeset 47847 | 7cddb6c8f93c |
parent 47730 | 15f4309bb9eb |
child 62519 | a564458f94db |
47846:bbc3e7bccc61 | 47847:7cddb6c8f93c |
---|---|
1 (* Title: HOL/Mirabelle/Actions/mirabelle_refute.ML |
1 (* Title: HOL/Mirabelle/Tools/mirabelle_refute.ML |
2 Author: Jasmin Blanchette and Sascha Boehme, TU Munich |
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 |