Pearl-jv/Paper.thy
2010-07-25 Christian Urban added paper by james; some minor cleaning
2010-05-12 Christian Urban properly exported defined bn-functions
2010-05-05 Christian Urban a bit mor on the pearl journal paper
2010-05-04 Christian Urban some preliminary changes to the pearl-jv paper
2010-04-30 Christian Urban replaced hide by the new hide_const
2010-04-11 Christian Urban folded changes from the conference version
2010-04-08 Christian Urban some further changes
2010-04-08 Christian Urban added new paper directory for further work
less more (0) tip