| 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 |
| Sun, 15 Feb 2015 17:01:22 +0100 | haftmann | explicit equivalence for strict order on lattices | file | diff | annotate |
| Sun, 02 Nov 2014 18:21:45 +0100 | wenzelm | modernized header uniformly as section; | file | diff | annotate |
| Thu, 30 Oct 2014 21:02:01 +0100 | haftmann | more simp rules concerning dvd and even/odd | file | diff | annotate |
| Thu, 09 Oct 2014 22:43:48 +0200 | haftmann | more foundational definition for predicate even | file | diff | annotate |