| Mon, 01 Mar 2021 23:26:27 +0000 | paulson | Merge | changeset | files |
| Mon, 01 Mar 2021 17:59:17 +0000 | paulson | reverted simprule status on a new lemma | changeset | files |
| Mon, 01 Mar 2021 14:47:08 +0000 | paulson | merged | changeset | files |
| Mon, 01 Mar 2021 14:46:51 +0000 | paulson | tiny bit of lemma hacking | changeset | files |
| Mon, 01 Mar 2021 23:26:55 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 23:17:47 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 22:50:00 +0100 | wenzelm | tuned --- avoid deprecated conversions between certain number type; | changeset | files |
| Mon, 01 Mar 2021 22:37:33 +0100 | wenzelm | tuned --- avoid deprecated Predef.any2stringadd; | changeset | files |
| Mon, 01 Mar 2021 22:26:33 +0100 | wenzelm | tuned --- silence odd warning; | changeset | files |
| Mon, 01 Mar 2021 22:22:12 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 20:12:09 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |
| Mon, 01 Mar 2021 20:04:33 +0100 | wenzelm | tuned --- fewer warnings; | changeset | files |