name: probability-def version: 1.27 description: Definition of probability author: Joe Leslie-Hurd license: MIT provenance: HOL Light theory extracted on 2012-08-15 requires: bool requires: list requires: natural requires: pair requires: relation requires: stream show: "Data.Bool" show: "Data.List" show: "Data.Pair" show: "Data.Stream" show: "Number.Natural" show: "Probability.Random" main { article: "probability-def.art" }