changeset 76183 | 8089593a364a |
parent 75080 | 1dae5cbcd358 |
child 77723 | b761c91c2447 |
76182:11fed9812b57 | 76183:8089593a364a |
---|---|
1 (* Title: HOL/Mirabelle/Tools/mirabelle.ML |
1 (* Title: HOL/Tools/Mirabelle/mirabelle.ML |
2 Author: Jasmin Blanchette, TU Munich |
2 Author: Jasmin Blanchette, TU Munich |
3 Author: Sascha Boehme, TU Munich |
3 Author: Sascha Boehme, TU Munich |
4 Author: Makarius |
4 Author: Makarius |
5 Author: Martin Desharnais, UniBw Munich |
5 Author: Martin Desharnais, UniBw Munich |
6 *) |
6 *) |