equal
deleted
inserted
replaced
35 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 |
35 7aa3c52f27aade2cada22206cf0477b30a25f781 Isabelle2016-1 |
36 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0 |
36 a5dd01b682189f5412460b78b9611f7665b26894 Isabelle2017-RC0 |
37 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1 |
37 34b20f7236ea2b59c1994ee10770267bb156c9e5 Isabelle2017-RC1 |
38 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2 |
38 e9d8ff531700c7c19ea6f9c1315c06015f95d2b8 Isabelle2017-RC2 |
39 4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3 |
39 4f73201b8043b92783824b55dcded6891de0a41e Isabelle2017-RC3 |
|
40 64b47495676d5d6bdec02032a7a90fe6e1ff6c50 Isabelle2017 |