Nominal/Nominal2.thy
Thu, 30 Jun 2011 02:19:59 +0100 Christian Urban more code refactoring
Wed, 29 Jun 2011 23:08:44 +0100 Christian Urban combined distributed data for alpha in alpha_result (partially done)
Wed, 29 Jun 2011 00:48:50 +0100 Christian Urban some experiments
less more (0) -30 -10 -3 tip