| Tue, 12 Jul 2016 13:55:35 +0200 | fleury | sharing simp rules between ordered monoids and rings | file | diff | annotate |
| Tue, 12 Jul 2016 11:51:05 +0200 | wenzelm | added action "isabelle.newline" (shortcut ENTER); | file | diff | annotate |
| Mon, 11 Jul 2016 22:07:02 +0200 | wenzelm | merged | file | diff | annotate |
| Mon, 11 Jul 2016 22:02:18 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 11 Jul 2016 21:02:26 +0200 | haftmann | NEWS | file | diff | annotate |
| Fri, 08 Jul 2016 23:43:11 +0200 | haftmann | avoid to hide equality behind (output) abbreviation | file | diff | annotate |
| Fri, 08 Jul 2016 19:35:31 +0200 | nipkow | new style dummy_pats | file | diff | annotate |
| Thu, 07 Jul 2016 17:34:39 +0200 | fleury | more instantiations for multiset | file | diff | annotate |
| Wed, 06 Jul 2016 23:19:28 +0200 | blanchet | leverage new 'order' type class instantiation in multiset | file | diff | annotate |
| Tue, 05 Jul 2016 13:05:04 +0200 | fleury | instantiate multiset with multiset ordering | file | diff | annotate |
| Mon, 04 Jul 2016 20:51:04 +0200 | wenzelm | merged | file | diff | annotate |
| Mon, 04 Jul 2016 20:48:55 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Mon, 04 Jul 2016 19:49:25 +0200 | haftmann | spelling | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | combinator to build partial equivalence relations from a predicate and an equivalenc relation | file | diff | annotate |
| Mon, 04 Jul 2016 19:46:20 +0200 | haftmann | basic facts about almost everywhere fix bijections | file | diff | annotate |