| 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 |
| Mon, 04 Jul 2016 19:46:19 +0200 | haftmann | dedicated locale for total bijections | file | diff | annotate |
| Thu, 23 Jun 2016 23:10:19 +0200 | wenzelm | merged | file | diff | annotate |
| Thu, 23 Jun 2016 11:01:14 +0200 | wenzelm | tuned signature; | file | diff | annotate |
| Thu, 23 Jun 2016 16:46:36 +0200 | haftmann | compiling implicit instances into companion objects for classes avoids ambiguities | file | diff | annotate |
| Wed, 22 Jun 2016 10:09:20 +0200 | wenzelm | bundle lifting_syntax; | file | diff | annotate |
| Fri, 17 Jun 2016 12:37:43 +0200 | fleury | normalising multiset theorem names | file | diff | annotate |
| Thu, 16 Jun 2016 16:39:18 +0200 | wenzelm | tuned; | file | diff | annotate |
| Tue, 14 Jun 2016 20:48:41 +0200 | haftmann | explicit resolution of ambiguous dictionaries | file | diff | annotate |
| Sat, 11 Jun 2016 16:22:42 +0200 | haftmann | boldify syntax in abstract algebraic structures, to avoid clashes with concrete syntax in corresponding type classes | file | diff | annotate |
| Sat, 11 Jun 2016 13:57:59 +0200 | wenzelm | spelling; | file | diff | annotate |
| Fri, 10 Jun 2016 23:13:04 +0200 | wenzelm | bundles "finfun_syntax" and "no_finfun_syntax" for optional syntax; | file | diff | annotate |
| Fri, 10 Jun 2016 22:47:25 +0200 | wenzelm | added command 'unbundle'; | file | diff | annotate |
| Fri, 10 Jun 2016 12:45:34 +0200 | wenzelm | prefer hybrid 'bundle' command; | file | diff | annotate |
| Thu, 09 Jun 2016 17:14:13 +0200 | wenzelm | documentation; | file | diff | annotate |
| Wed, 08 Jun 2016 18:46:09 +0200 | wenzelm | merged | file | diff | annotate |
| Wed, 08 Jun 2016 18:45:50 +0200 | wenzelm | NEWS; | file | diff | annotate |
| Wed, 08 Jun 2016 09:09:46 +0200 | Andreas Lochbihler | repair Unicode mess-up in c493859d4267 | file | diff | annotate |
| Wed, 08 Jun 2016 09:07:05 +0200 | Andreas Lochbihler | NEWS and CONTRIBUTORS for SPMF | file | diff | annotate |
| Mon, 06 Jun 2016 21:28:45 +0200 | haftmann | conventional syntax for unit abstractions | file | diff | annotate |
| Mon, 06 Jun 2016 16:04:26 +0200 | wenzelm | added action "isabelle.select-entity"; | file | diff | annotate |
| Sat, 04 Jun 2016 16:23:42 +0200 | wenzelm | tuned; | file | diff | annotate |
| Sat, 04 Jun 2016 16:10:44 +0200 | wenzelm | Integer.lcm normalizes the sign as in HOL/GCD.thy; | file | diff | annotate |
| Fri, 03 Jun 2016 22:27:01 +0200 | wenzelm | support for .scala tools; | file | diff | annotate |
| Wed, 01 Jun 2016 21:24:51 +0200 | wenzelm | more documentation; | file | diff | annotate |
| Wed, 01 Jun 2016 19:54:26 +0200 | wenzelm | NEWS; | file | diff | annotate |