src/HOL/Nitpick_Examples/minipick.ML
2015-04-08 wenzelm 2015-04-08 proper context for Object_Logic operations;
2014-11-26 wenzelm 2014-11-26 renamed "pairself" to "apply2", in accordance to @{apply 2};
2014-01-31 blanchet 2014-01-31 compile
2014-01-31 blanchet 2014-01-31 tuned ML file name
2013-12-21 blanchet 2013-12-21 compile + reduce problem size by a notch
2012-12-12 blanchet 2012-12-12 got rid of support for Kodkodi < 1.2.14
2012-08-30 blanchet 2012-08-30 adjust example
2012-01-03 blanchet 2012-01-03 ported Minipick to "set"
2011-10-12 wenzelm 2011-10-12 discontinued obsolete alias structure ProofContext;
2011-09-23 blanchet 2011-09-23 first step towards extending Minipick with more translations
2011-09-21 blanchet 2011-09-21 reintroduced Minipick as Nitpick example