Tue, 28 Feb 2012 21:53:36 +0100 | wenzelm | avoid undeclared variables in let bindings; | file | diff | annotate |
Tue, 19 Jul 2011 14:36:12 +0200 | hoelzl | Rename extreal => ereal | file | diff | annotate |
Mon, 27 Jun 2011 09:42:46 +0200 | hoelzl | move conditional expectation to its own theory file | file | diff | annotate |