Thu, 30 Mar 2000 15:12:20 +0200 | wenzelm | added 'moreover' and 'ultimately'; | changeset | files |
Thu, 30 Mar 2000 15:11:48 +0200 | wenzelm | added \MOREOVER, \ULTIMATELY; | changeset | files |
Thu, 30 Mar 2000 14:28:54 +0200 | wenzelm | support Hindley-Milner polymorphisms in binds and facts; | changeset | files |