| Wed, 06 Jun 2018 18:19:55 +0200 | nipkow | reorient -> split; documented split | file | diff | annotate |
| Thu, 01 Feb 2018 15:31:25 +0100 | wenzelm | clarified signature: prefer proper order operation; | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | file | diff | annotate |
| Wed, 07 Sep 2016 22:28:30 +0200 | wenzelm | unfold_abs_def is enabled by default; | file | diff | annotate |
| Wed, 10 Aug 2016 15:42:52 +0200 | nipkow | "split add" -> "split". | file | diff | annotate |
| Wed, 20 Jul 2016 22:36:10 +0200 | wenzelm | provide Pure.simp/simp_all, which only know about meta-equality; | file | diff | annotate |
| Wed, 20 Jul 2016 21:26:11 +0200 | wenzelm | clarified imports; | file | diff | annotate |
| Wed, 13 Apr 2016 18:01:05 +0200 | wenzelm | eliminated "xname" and variants; | file | diff | annotate |
| Fri, 08 Apr 2016 20:15:20 +0200 | wenzelm | eliminated unused simproc identifier; | file | diff | annotate |
| Thu, 17 Mar 2016 10:00:38 +0100 | wenzelm | obsolete; | file | diff | annotate |
| Thu, 17 Mar 2016 09:59:37 +0100 | wenzelm | tuned whitespace; | file | diff | annotate |
| Thu, 17 Mar 2016 09:41:21 +0100 | wenzelm | proper ML type; | file | diff | annotate |
| Tue, 23 Feb 2016 17:47:23 +0100 | nipkow | more canonical names | file | diff | annotate |
| Fri, 13 Nov 2015 14:49:30 +0100 | wenzelm | more uniform jEdit properties; | file | diff | annotate |
| Wed, 04 Nov 2015 18:32:47 +0100 | wenzelm | more antiquotations; | file | diff | annotate |