Thu, 18 Jan 2001 20:36:57 +0100 | wenzelm | use Sign.PureN, Sign.CPureN; | changeset | files |
Thu, 18 Jan 2001 20:36:31 +0100 | wenzelm | Sign.exists_stamp; | changeset | files |
Thu, 18 Jan 2001 20:36:08 +0100 | wenzelm | tuned \<And> and \<Or>; | changeset | files |