Admin/Benchmarks/HOL-record/ROOT.ML
Wed, 21 Jul 2010 17:55:07 +0200 wenzelm recovered benchmarks, which are not tested automatically;
Sun, 15 Nov 2009 15:13:31 +0100 wenzelm eliminated obsolete CVS Ids;
Sun, 15 Nov 2009 13:06:07 +0100 schirmer added benchmark for large records
less more (0) tip