Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
Tue, 18 Oct 2016 18:48:53 +0200 | haftmann | suitable logical type class for abs, sgn | file | diff | annotate |
Sun, 16 Oct 2016 09:31:04 +0200 | haftmann | more standardized names | file | diff | annotate |
Tue, 01 Sep 2015 22:32:58 +0200 | wenzelm | eliminated \<Colon>; | file | diff | annotate |
Tue, 31 Mar 2015 21:54:32 +0200 | haftmann | given up separate type classes demanding `inverse 0 = 0` | file | diff | annotate |
Thu, 19 Feb 2015 11:53:36 +0100 | haftmann | establish unique preferred fact names | file | diff | annotate |
Fri, 04 Jul 2014 20:18:47 +0200 | haftmann | reduced name variants for assoc and commute on plus and mult | file | diff | annotate |