src/HOL/Quickcheck_Benchmark/Needham_Schroeder_Base.thy
Wed, 29 Oct 2014 11:19:27 +0100 wenzelm tuned;
Thu, 11 Sep 2014 19:32:36 +0200 blanchet updated news
Tue, 09 Sep 2014 20:51:36 +0200 blanchet use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries
Fri, 15 Feb 2013 08:31:31 +0100 haftmann two target language numeral types: integer and natural, as replacement for code_numeral;
Thu, 26 Jul 2012 15:55:19 +0200 bulwahn moved another larger quickcheck example to Quickcheck_Benchmark
less more (0) tip