| Thu, 12 Nov 2020 09:06:44 +0100 | haftmann | bundled syntax for state monad combinators | file | diff | annotate |
| Fri, 04 Jan 2019 23:22:53 +0100 | wenzelm | isabelle update -u control_cartouches; | file | diff | annotate |
| 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 |