equal
deleted
inserted
replaced
4 |
4 |
5 |
5 |
6 Contributions to this Isabelle version |
6 Contributions to this Isabelle version |
7 -------------------------------------- |
7 -------------------------------------- |
8 |
8 |
9 * March 2017: Alasdair Armstrong and Simon Foster, University of York |
9 * March 2017: Alasdair Armstrong, University of Sheffield and |
|
10 Simon Foster, University of York |
10 Fixed-point theory and Galois Connections in HOL-Algebra. |
11 Fixed-point theory and Galois Connections in HOL-Algebra. |
11 |
12 |
12 * February 2017: Florian Haftmann, TUM |
13 * February 2017: Florian Haftmann, TUM |
13 Statically embedded computations implemented by generated code. |
14 Statically embedded computations implemented by generated code. |
14 |
15 |