| Wed, 06 Jun 2018 14:25:53 +0100 | paulson | resolution of name clashes in Algebra | file | diff | annotate |
| Fri, 05 Jan 2018 18:41:42 +0100 | nipkow | Renamed (^) to [^] in preparation of the move from "op X" to (X) | file | diff | annotate |
| Mon, 02 Oct 2017 22:48:01 +0200 | wenzelm | misc tuning and modernization; | file | diff | annotate |
| Thu, 06 Apr 2017 08:33:37 +0200 | haftmann | more approproiate placement of theories MiscAlgebra and Multiplicate_Group | file | diff | annotate |