| 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 |
| Tue, 04 Apr 2017 08:57:21 +0200 | eberlm | moved material from AFP to distribution | file | diff | annotate |
| Thu, 29 Sep 2016 16:49:42 +0200 | eberlm | Set_Permutations replaced by more general Multiset_Permutations | file | diff | annotate |
| Fri, 22 Jul 2016 08:02:37 +0200 | wenzelm | tuned proofs -- avoid improper use of "this"; | file | diff | annotate |