The version of probability theory in HOL4's src/prob directory is superseded by the probability theory that is in examples/miller. I'm therefore proposing to remove src/prob and to point people at the examples/miller formalisation instead.
Are there any users of the theory in src/prob? All the work I'm aware of uses the examples/miller version, and the presence of src/prob has only caused confusion. Michael ------------------------------------------------------------------------------ Live Security Virtual Conference Exclusive live event will cover all the ways today's security and threat landscape has changed and how IT managers can respond. Discussions will include endpoint security, mobile security and the latest in malware threats. http://www.accelacomm.com/jaw/sfrnl04242012/114/50122263/ _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
