| Tue, 08 May 2018 10:14:36 +0200 | nipkow | new def of sorted and sorted_wrt | changeset | files |
| Mon, 07 May 2018 23:08:22 +0200 | wenzelm | more operations; | changeset | files |
| Mon, 07 May 2018 22:48:24 +0200 | wenzelm | merged | changeset | files |
| Mon, 07 May 2018 19:40:55 +0200 | wenzelm | return exports as result for Isabelle server; | changeset | files |