changeset 55888 | cac1add157e8 |
parent 54816 | 10d48c2a3e32 |
child 55889 | 6bfbec3dff62 |
55887:25bd4745ee38 | 55888:cac1add157e8 |
---|---|
1 (* Title: HOL/Tools/Nitpick/kodkod.ML |
1 (* Title: HOL/Tools/Nitpick/kodkod.ML |
2 Author: Jasmin Blanchette, TU Muenchen |
2 Author: Jasmin Blanchette, TU Muenchen |
3 Copyright 2008, 2009, 2010 |
3 Copyright 2008-2014 |
4 |
4 |
5 ML interface for Kodkod. |
5 ML interface for Kodkod. |
6 *) |
6 *) |
7 |
7 |
8 signature KODKOD = |
8 signature KODKOD = |