| Wed, 12 Aug 1998 14:56:56 +0200 | oheimb | minor correction: n must not be used as free variable | changeset | files |
| Wed, 12 Aug 1998 12:17:20 +0200 | slotosch | eliminated fabs,fapp. | changeset | files |
| Mon, 10 Aug 1998 17:06:02 +0200 | wenzelm | suffix, unsuffix moved to Pure/library.ML; | changeset | files |
| Mon, 10 Aug 1998 17:04:28 +0200 | wenzelm | fixed comment; | changeset | files |
| Mon, 10 Aug 1998 17:03:54 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 10 Aug 1998 17:01:40 +0200 | wenzelm | ??id syntax for text variables; | changeset | files |
| Mon, 10 Aug 1998 17:01:02 +0200 | wenzelm | dest_binding, dest_skolem; | changeset | files |
| Mon, 10 Aug 1998 16:57:07 +0200 | wenzelm | val single: 'a -> 'a list; | changeset | files |