| Sun, 20 Nov 2016 16:18:04 +0100 | wenzelm | more on Isar proof language; | changeset | files |
| Sun, 20 Nov 2016 15:53:07 +0100 | wenzelm | documentation for Isabelle/Scala tools; | changeset | files |
| Sat, 19 Nov 2016 20:10:32 +0100 | wenzelm | more symbols; | changeset | files |