| #
a4784f6f |
|
09-Oct-2019 |
haftmann <none@none> |
dedicated fact collections for algebraic simplification rules potentially splitting goals
--HG--
extra : rebase_source : ebbd8d0c13409f8fb536c42910e904c24e43dbe6
|
| #
9e188bc2 |
|
03-Oct-2018 |
nipkow <none@none> |
shuffle -> shuffles
|
| #
a7ccdf43 |
|
10-Jan-2018 |
nipkow <none@none> |
ran isabelle update_op on all sources
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
9b35a540 |
|
04-Apr-2017 |
eberlm <eberlm@in.tum.de> |
moved material from AFP to distribution
|
| #
1515cd53 |
|
29-Sep-2016 |
eberlm <eberlm@in.tum.de> |
Set_Permutations replaced by more general Multiset_Permutations
--HG--
extra : amend_source : 2cdc987e6383d982048c755e22fc87fcdc0e35cf
|
| #
c5a9d940 |
|
22-Jul-2016 |
wenzelm <none@none> |
tuned proofs -- avoid improper use of "this";
|
| #
aa5fce1c |
|
31-May-2016 |
eberlm <none@none> |
Added code generation for PMFs
|
| #
a8792f46 |
|
24-May-2016 |
eberlm <none@none> |
Removed problematic code equation for set_permutations
|
| #
b5a62e25 |
|
24-May-2016 |
eberlm <none@none> |
Backed out changeset 8230358fab88
|
| #
75e3393a |
|
24-May-2016 |
eberlm <none@none> |
Deleted problematic code equation in Codegenerator_Test
|
| #
de225e53 |
|
24-May-2016 |
eberlm <none@none> |
Resolved cyclic dependency of theories
|
| #
ad7bfc14 |
|
24-May-2016 |
eberlm <none@none> |
Added set permutations/random permutations
|