equal
deleted
inserted
replaced
4 distribution. |
4 distribution. |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
|
9 * Summer 2015: Daniel Matichuk, NICTA and Makarius Wenzel |
|
10 Isar subgoal command for proof structure within unstructured proof |
|
11 scripts. |
|
12 |
9 * Summer 2015: Florian Haftmann, TUM |
13 * Summer 2015: Florian Haftmann, TUM |
10 Generic partial division in rings as inverse operation |
14 Generic partial division in rings as inverse operation of multiplication. |
11 of multiplication. |
|
12 |
15 |
13 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM |
16 * Summer 2015: Manuel Eberl and Florian Haftmann, TUM |
14 Type class hierarchy with common algebraic notions of |
17 Type class hierarchy with common algebraic notions of integral |
15 integral (semi)domains like units and associated elements. |
18 (semi)domains like units and associated elements. |
16 |
19 |
17 |
20 |
18 Contributions to Isabelle2015 |
21 Contributions to Isabelle2015 |
19 ----------------------------- |
22 ----------------------------- |
20 |
23 |