src/HOL/ex/CodeRandom.thy
Wed, 27 Dec 2006 19:10:03 +0100 haftmann dropped section header
Mon, 18 Dec 2006 08:21:32 +0100 haftmann dropped debug cmd
Mon, 27 Nov 2006 13:42:30 +0100 haftmann adjusted syntax for internal code generation
less more (0) -3 tip