Fri, 05 Mar 2010 21:26:21 +0100 | wenzelm | isabelle browser -b: Admin/build only; | changeset | files |
Fri, 05 Mar 2010 09:27:47 -0800 | huffman | merged | changeset | files |
Fri, 05 Mar 2010 09:09:11 -0800 | huffman | skip proof of induction rule for indirect-recursive domain definitions | changeset | files |
Fri, 05 Mar 2010 17:49:10 +0100 | hoelzl | generalized inj_uminus; added strict_mono_imp_inj_on | changeset | files |
Fri, 05 Mar 2010 10:42:13 +0100 | hoelzl | merged | changeset | files |
Thu, 04 Mar 2010 21:52:26 +0100 | hoelzl | Add Lebesgue integral and probability space. | changeset | files |
Thu, 04 Mar 2010 19:50:45 +0100 | hoelzl | Supremum and Infimum on real intervals | changeset | files |