| Sun, 20 May 2018 11:57:17 +0200 | wenzelm | prefer HTTPS; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Tue, 11 Jul 2017 17:22:33 +0200 | Lars Hupel | State_Monad ~> Open_State_Syntax | file | diff | annotate | base |