src/HOL/Nitpick_Examples/minipick.ML
2012-01-03 blanchet ported Minipick to "set"
2011-10-12 wenzelm discontinued obsolete alias structure ProofContext;
2011-09-23 blanchet first step towards extending Minipick with more translations
2011-09-21 blanchet reintroduced Minipick as Nitpick example
less more (0) tip