| Thu, 25 Mar 2021 08:52:15 +0000 | haftmann | dedicated session for combinatorial material | file | diff | annotate |
| Sat, 21 Nov 2020 00:29:41 +0100 | wenzelm | more standard imports; | file | diff | annotate |
| Thu, 02 Jul 2020 12:10:58 +0000 | haftmann | extraction of equations x = t from premises beneath meta-all | file | diff | annotate |
| Wed, 09 Oct 2019 14:51:54 +0000 | haftmann | dedicated fact collections for algebraic simplification rules potentially splitting goals | file | diff | annotate |
| Wed, 03 Oct 2018 09:46:42 +0200 | nipkow | shuffle -> shuffles | file | diff | annotate |
| Wed, 10 Jan 2018 15:25:09 +0100 | nipkow | ran isabelle update_op on all sources | 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 |