Mon, 16 Jul 2018 17:50:07 +0200 | Manuel Eberl | Tagged some more files in HOL-Analysis | changeset | files |
Mon, 16 Jul 2018 15:24:06 +0200 | Manuel Eberl | Made simproc for sqrt/root of numeral more robust | changeset | files |
Mon, 16 Jul 2018 08:32:27 +0200 | Andreas Lochbihler | merged | changeset | files |