src/HOL/Nitpick_Examples/minipick.ML
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