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
Fri, 30 Apr 2010 16:31:43 +0100 Christian Urban replaced hide by the new hide_const
Sun, 11 Apr 2010 22:47:45 +0200 Christian Urban folded changes from the conference version
Thu, 08 Apr 2010 10:25:13 +0200 Christian Urban some further changes
Thu, 08 Apr 2010 09:12:13 +0200 Christian Urban added new paper directory for further work
less more (0) tip