src/HOL/Nitpick_Examples/Record_Nits.thy
2009-10-23 blanchet 2009-10-23 continuation of Nitpick's integration into Isabelle; added examples, and integrated non-Main theories better.