| Tue, 08 May 2018 10:14:36 +0200 |
nipkow |
new def of sorted and sorted_wrt
|
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, 06 Oct 2015 17:47:28 +0200 |
wenzelm |
isabelle update_cartouches;
|
file |
diff |
annotate
|
| Fri, 19 Jun 2015 15:55:22 +0200 |
nipkow |
renamed multiset_of -> mset
|
file |
diff |
annotate
|
| Sun, 02 Nov 2014 18:21:45 +0100 |
wenzelm |
modernized header uniformly as section;
|
file |
diff |
annotate
|
| Wed, 29 Dec 2010 17:34:41 +0100 |
wenzelm |
explicit file specifications -- avoid secondary load path;
|
file |
diff |
annotate
|
| Sat, 22 May 2010 10:13:02 +0200 |
haftmann |
modernized sorting algorithms; quicksort implements sort
|
file |
diff |
annotate
|
| Thu, 10 Dec 2009 17:34:18 +0000 |
paulson |
streamlined proofs
|
file |
diff |
annotate
|
| Sat, 17 Oct 2009 14:43:18 +0200 |
wenzelm |
eliminated hard tabulators, guessing at each author's individual tab-width;
|
file |
diff |
annotate
|
| Mon, 23 Mar 2009 08:14:23 +0100 |
haftmann |
tuned header
|
file |
diff |
annotate
|
| Tue, 03 Feb 2009 11:16:28 +0100 |
krauss |
mergesort example: recdef->fun, localized
|
file |
diff |
annotate
|
| Tue, 13 Jun 2006 15:42:52 +0200 |
dixon |
corrected w.r.t. search order for subst.
|
file |
diff |
annotate
|
| Mon, 12 Jun 2006 21:18:10 +0200 |
wenzelm |
fixed subst step;
|
file |
diff |
annotate
|
| Fri, 22 Apr 2005 17:32:03 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
| Thu, 14 Apr 2005 17:57:23 +0200 |
nipkow |
Added thm names
|
file |
diff |
annotate
|
| Sat, 26 Mar 2005 00:01:56 +0100 |
kleing |
use Library/Multiset instead of own definition
|
file |
diff |
annotate
|
| Mon, 03 Jun 2002 09:36:53 +0200 |
nipkow |
*** empty log message ***
|
file |
diff |
annotate
|