| Fri, 22 Apr 2005 17:32:03 +0200 |
paulson |
tidied
|
file |
diff |
annotate
|
| Sat, 26 Mar 2005 00:01:56 +0100 |
kleing |
use Library/Multiset instead of own definition
|
file |
diff |
annotate
|
| Fri, 15 Oct 2004 18:16:11 +0200 |
nipkow |
update
|
file |
diff |
annotate
|
| Fri, 17 May 2002 15:40:59 +0200 |
nipkow |
Turned into Isar theories.
|
file |
diff |
annotate
|
| Mon, 27 Mar 2000 17:04:03 +0200 |
paulson |
added an order-sorted version of quickSort
|
file |
diff |
annotate
|
| Mon, 20 Mar 2000 10:26:34 +0100 |
paulson |
a possibly (?) more perspicous simprule in the "simpset" part
|
file |
diff |
annotate
|
| Fri, 10 Mar 2000 17:52:48 +0100 |
paulson |
now uses recdef instead of "rules"
|
file |
diff |
annotate
|
| Mon, 05 Feb 1996 21:29:06 +0100 |
clasohm |
expanded tabs; incorporated Konrad's changes
|
file |
diff |
annotate
|
| Fri, 01 Dec 1995 12:03:13 +0100 |
clasohm |
removed quotes from consts and syntax sections
|
file |
diff |
annotate
|
| Wed, 21 Jun 1995 15:47:10 +0200 |
clasohm |
removed \...\ inside strings
|
file |
diff |
annotate
|
| Wed, 22 Mar 1995 12:42:34 +0100 |
clasohm |
converted ex with curried function application
|
file |
diff |
annotate
|