Mon, 16 Nov 1998 11:32:54 +0100 | wenzelm | made SML/NJ happy; | changeset | files |
Mon, 16 Nov 1998 11:32:28 +0100 | wenzelm | added oo, ooo (*concatenation: 2 and 3 args*); | changeset | files |
Mon, 16 Nov 1998 11:14:44 +0100 | wenzelm | Attribute.tthms_of; | changeset | files |
Mon, 16 Nov 1998 11:14:02 +0100 | wenzelm | Attribute.tthms_of; | changeset | files |
Mon, 16 Nov 1998 11:13:28 +0100 | wenzelm | Attribute.thms_of; | changeset | files |
Mon, 16 Nov 1998 11:12:59 +0100 | wenzelm | Classical.setup, attrib_setup; | changeset | files |
Mon, 16 Nov 1998 11:11:58 +0100 | wenzelm | attrib_setup: rulify; | changeset | files |