| #
cc37beb1 |
|
24-Sep-2018 |
nipkow <none@none> |
Prefix form of infix with * on either side no longer needs special treatment
because (* and *) are no longer comment brackets in terms.
|
| #
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;
|
| #
351cc2e6 |
|
17-Oct-2016 |
nipkow <none@none> |
setsum -> sum
|
| #
131dfaff |
|
15-Sep-2016 |
nipkow <none@none> |
renamed listsum -> sum_list, listprod ~> prod_list
|
| #
dd43bcaf |
|
05-Sep-2016 |
fleury <Mathias.Fleury@mpi-inf.mpg.de> |
add_mset constructor in multisets
|
| #
c5a9d940 |
|
22-Jul-2016 |
wenzelm <none@none> |
tuned proofs -- avoid improper use of "this";
|
| #
b2486a4e |
|
01-Jun-2016 |
eberlm <none@none> |
Tuned code equations for mappings and PMFs
|
| #
aa5fce1c |
|
31-May-2016 |
eberlm <none@none> |
Added code generation for PMFs
|