equal
deleted
inserted
replaced
38 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019 |
38 83774d669b5181fb28d19d7a0219fbf6c6d38aab Isabelle2019 |
39 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0 |
39 21c0b3a9d2f8f27800f7ea9c8f0fe92139e9e2c3 Isabelle2020-RC0 |
40 a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1 |
40 a8849ac415cc816740fbd8cfaac14501f7468ddb Isabelle2020-RC1 |
41 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2 |
41 7eadccd4392cc1f3b603c0fa5734d0629f039cc0 Isabelle2020-RC2 |
42 7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3 |
42 7fe1a344404a9f7e6e4cdef584338c6d9849812c Isabelle2020-RC3 |
|
43 1f3d9a9dd42a9543af7062ca08a36da2c5375454 Isabelle2020-RC4 |