equal
deleted
inserted
replaced
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * February 2017: Florian Haftmann, TUM |
9 * February 2017: Florian Haftmann, TUM |
10 Statically embedded computatations implementated by generated code. |
10 Statically embedded computations implemented by generated code. |
11 |
11 |
12 |
12 |
13 Contributions to Isabelle2016-1 |
13 Contributions to Isabelle2016-1 |
14 ------------------------------- |
14 ------------------------------- |
15 |
15 |