| Sat, 05 Jun 2021 12:57:52 +0200 | wenzelm | clarified examples; | 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 |
| Thu, 06 Apr 2017 21:37:13 +0200 | haftmann | session containing computational algebra | file | diff | annotate |
| Tue, 09 Aug 2016 12:30:31 +0200 | eberlm | Tuned primes | file | diff | annotate |
| Thu, 21 Jul 2016 10:06:04 +0200 | eberlm | Overhaul of prime/multiplicity/prime_factors | file | diff | annotate |
| Sat, 26 Dec 2015 15:59:27 +0100 | wenzelm | isabelle update_cartouches -c -t; | file | diff | annotate |
| Tue, 01 Dec 2015 14:09:10 +0000 | paulson | Removal of redundant lemmas (diff_less_iff, diff_le_iff) and of the abbreviation Exp. Addition of some new material. | file | diff | annotate |