Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Inserted missing theory dependency
authorpaulson
Tue, 10 Nov 2009 09:22:55 +0000
changeset 33544 fbebb43610dc
parent 33543 a4dbf0f92d96
child 33545 d8903f0002e5
Inserted missing theory dependency
src/HOL/Probability/Probability.thy file | annotate | diff | comparison | revisions 
--- a/src/HOL/Probability/Probability.thy	Mon Nov 09 21:56:55 2009 +0100
+++ b/src/HOL/Probability/Probability.thy	Tue Nov 10 09:22:55 2009 +0000
@@ -1,5 +1,5 @@
 theory Probability
-imports Measure
+imports Measure Borel
 begin
 
 end
isabelle