Pearl-jv/Paper.thy
Wed, 12 May 2010 13:43:48 +0100 Christian Urban properly exported defined bn-functions
Wed, 05 May 2010 20:39:21 +0100 Christian Urban a bit mor on the pearl journal paper
Tue, 04 May 2010 05:36:43 +0100 Christian Urban some preliminary changes to the pearl-jv paper
less more (0) -3 tip