| Wed, 30 Mar 2011 22:03:50 +0200 | wenzelm | more informative markup_free; | changeset | files |
| Wed, 30 Mar 2011 21:07:48 +0200 | wenzelm | inline lemmas instead of accidental physical addressing -- explicit is better than implicit; | changeset | files |
| Wed, 30 Mar 2011 20:21:40 +0200 | wenzelm | tuned white space and indentation; | changeset | files |
| Wed, 30 Mar 2011 20:19:21 +0200 | wenzelm | actually check list comprehension examples; | changeset | files |
| Wed, 30 Mar 2011 17:54:10 +0200 | hoelzl | products of probability measures are probability measures | changeset | files |
| Wed, 30 Mar 2011 17:54:01 +0200 | hoelzl | real multiplication is continuous | changeset | files |
| Wed, 30 Mar 2011 17:53:56 +0200 | hoelzl | add lebesgue_real_affine | changeset | files |
| Wed, 30 Mar 2011 11:32:52 +0200 | bulwahn | renewing specifications in HOL: replacing types by type_synonym | changeset | files |