| Tue, 19 Dec 2017 13:58:12 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Sat, 11 Nov 2017 18:41:08 +0000 | haftmann | dedicated definition for coprimality | file | diff | annotate |
| Thu, 24 Aug 2017 17:24:12 +0200 | haftmann | more correct output syntax declaration | file | diff | annotate |
| Thu, 06 Apr 2017 08:33:37 +0200 | haftmann | more approproiate placement of theories MiscAlgebra and Multiplicate_Group | file | diff | annotate |