| Thu, 11 Jan 2018 13:48:17 +0100 | wenzelm | uniform use of Standard ML op-infix -- eliminated warnings; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Mon, 10 Apr 2017 21:05:31 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 26 May 2016 17:51:22 +0200 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sat, 05 Mar 2016 17:01:45 +0100 | wenzelm | tuned signature -- clarified modules; | file | diff | annotate |
| Thu, 03 Mar 2016 15:23:02 +0100 | wenzelm | clarified modules; | file | diff | annotate |
| Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |