changeset 34969 | 7b8c366e34a2 |
parent 34121 | c4628a1dcf75 |
child 35028 | 108662d50512 |
34968:475aef44d5fb | 34969:7b8c366e34a2 |
---|---|
1 (* Title: HOL/Tools/Nitpick/minipick.ML |
1 (* Title: HOL/Tools/Nitpick/minipick.ML |
2 Author: Jasmin Blanchette, TU Muenchen |
2 Author: Jasmin Blanchette, TU Muenchen |
3 Copyright 2009 |
3 Copyright 2009, 2010 |
4 |
4 |
5 Finite model generation for HOL formulas using Kodkod, minimalistic version. |
5 Finite model generation for HOL formulas using Kodkod, minimalistic version. |
6 *) |
6 *) |
7 |
7 |
8 signature MINIPICK = |
8 signature MINIPICK = |