| Thu, 13 Sep 2012 17:15:04 +0200 | hoelzl | remove theory Real_Integration, not needed since 44e42d392c6e when Euclidean spaces where introduced | changeset | files |
| Thu, 13 Sep 2012 16:43:33 +0200 | wenzelm | workaround for HOL-Mirabelle-ex oddities; | changeset | files |
| Thu, 13 Sep 2012 16:10:20 +0200 | wenzelm | instructions for quick start in 20min; | changeset | files |