src/HOL/Datatype_Examples/Misc_N2M.thy
2014-11-02 wenzelm 2014-11-02 modernized header uniformly as section;
2014-09-19 blanchet 2014-09-19 tuning
2014-09-19 traytel 2014-09-19 regression tests for n2m