| Mon, 16 Aug 1999 22:07:12 +0200 | wenzelm | 'a list: Nil, Cons; | changeset | files |
| Mon, 16 Aug 1999 22:04:07 +0200 | wenzelm | tuned msg; | changeset | files |
| Mon, 16 Aug 1999 22:03:48 +0200 | wenzelm | disable_pr, enable_pr; | changeset | files |
| Mon, 16 Aug 1999 18:47:20 +0200 | paulson | deleted obsolete assignment | changeset | files |
| Mon, 16 Aug 1999 18:43:13 +0200 | paulson | restored a high precedence to unary minus | changeset | files |
| Mon, 16 Aug 1999 18:41:32 +0200 | paulson | inserted Id: lines | changeset | files |
| Mon, 16 Aug 1999 18:41:06 +0200 | paulson | new theory Real/Hyperreal/HyperDef and file fuf.ML | changeset | files |