| Fri, 16 Jul 2004 09:36:04 +0200 | wenzelm | int_ord = Int.compare, string_ord = String.compare; | changeset | files |
| Thu, 15 Jul 2004 15:47:39 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 15 Jul 2004 15:39:51 +0200 | nipkow | more summation syntax | changeset | files |
| Thu, 15 Jul 2004 15:39:40 +0200 | nipkow | more syntax | changeset | files |
| Thu, 15 Jul 2004 15:32:32 +0200 | paulson | redefining sumr to be a translation to setsum | changeset | files |
| Thu, 15 Jul 2004 13:24:45 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 15 Jul 2004 13:11:34 +0200 | nipkow | Moved to new m<..<n syntax for set intervals. | changeset | files |
| Thu, 15 Jul 2004 08:38:37 +0200 | nipkow | *** empty log message *** | changeset | files |