| Thu, 25 Mar 2021 08:52:15 +0000 | haftmann | dedicated session for combinatorial material | file | diff | annotate |
| Tue, 19 Dec 2017 13:58:12 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Fri, 18 Aug 2017 20:47:47 +0200 | wenzelm | session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a; | file | diff | annotate |
| Sat, 12 Aug 2017 08:56:25 +0200 | haftmann | code generation for Gcd and Lcm when sets are implemented by red-black trees | file | diff | annotate |
| Mon, 05 Jun 2017 15:59:45 +0200 | haftmann | tuned | file | diff | annotate |
| Mon, 05 Jun 2017 15:59:45 +0200 | haftmann | avoid duplicate | file | diff | annotate |