Tue, 28 Apr 2020 22:55:35 +0200 | nipkow | tuned | changeset | files |
Tue, 28 Apr 2020 22:09:20 +0200 | wenzelm | merged | changeset | files |
Tue, 28 Apr 2020 21:47:22 +0200 | wenzelm | added "isabelle sessions" tool; | changeset | files |
Tue, 28 Apr 2020 19:50:36 +0200 | wenzelm | tuned messages; | changeset | files |
Tue, 28 Apr 2020 18:34:59 +0200 | nipkow | use abs(h l - h r) instead of 3 cases, tuned proofs | changeset | files |
Mon, 27 Apr 2020 23:39:15 +0200 | nipkow | added lemmas | changeset | files |