| #
d6194b67 |
|
08-May-2018 |
nipkow <none@none> |
new def of sorted and sorted_wrt
--HG--
extra : amend_source : 063fe8412a72415725783d8336fe89d3cd0ca676
|
| #
b9ca1f27 |
|
20-Jan-2018 |
nipkow <none@none> |
imported patch sorted
|
| #
17bc899d |
|
18-Aug-2017 |
wenzelm <none@none> |
session-qualified theory imports: isabelle imports -U -i -d '~~/src/Benchmarks' -a;
|
| #
50757c48 |
|
17-Jun-2017 |
nipkow <none@none> |
adapted to new simp lemmas
|
| #
dd43bcaf |
|
05-Sep-2016 |
fleury <Mathias.Fleury@mpi-inf.mpg.de> |
add_mset constructor in multisets
|
| #
ee8e8234 |
|
06-Oct-2015 |
wenzelm <none@none> |
isabelle update_cartouches;
|
| #
41682711 |
|
19-Jun-2015 |
nipkow <none@none> |
renamed multiset_of -> mset
|
| #
794edf80 |
|
02-Nov-2014 |
wenzelm <none@none> |
modernized header uniformly as section;
|
| #
45325ca7 |
|
10-Oct-2014 |
nipkow <none@none> |
New example Bubblesort
|