| Wed, 08 Jul 2015 14:01:41 +0200 | haftmann | avoid explicit definition of the relation of associated elements in a ring -- prefer explicit normalization instead | file | diff | annotate |
| Fri, 19 Jun 2015 21:41:33 +0200 | wenzelm | isabelle update_cartouches; | file | diff | annotate |
| Thu, 19 Feb 2015 16:32:53 +0100 | haftmann | more canonical order of subscriptions avoids superfluous facts | file | diff | annotate |