| Sat, 03 Jun 2000 23:57:40 +0200 | wenzelm | 'next', '{', '}': comment; | changeset | files |
| Sat, 03 Jun 2000 23:57:04 +0200 | wenzelm | removed brace aliases; | changeset | files |
| Fri, 02 Jun 2000 20:38:28 +0200 | oheimb | added HOL/Prolog | changeset | files |
| Fri, 02 Jun 2000 18:32:04 +0200 | paulson | The Allocator Implementation (not yet working) | changeset | files |
| Fri, 02 Jun 2000 18:31:18 +0200 | paulson | lots of new results about sublist, bag_of | changeset | files |
| Fri, 02 Jun 2000 18:30:38 +0200 | paulson | new theorem increasing_constant | changeset | files |
| Fri, 02 Jun 2000 17:48:17 +0200 | paulson | new constant bag_of | changeset | files |