src/HOL/Datatype_Examples/Misc_N2M.thy
Thu, 24 Sep 2015 13:33:42 +0200 wenzelm explicit indication of overloaded typedefs;
Sun, 02 Nov 2014 18:21:45 +0100 wenzelm modernized header uniformly as section;
Fri, 19 Sep 2014 14:24:03 +0200 blanchet tuning
Fri, 19 Sep 2014 10:00:34 +0200 traytel regression tests for n2m
less more (0) tip