Thu, 18 Jan 2001 20:37:38 +0100 | wenzelm | added exists_stamp; | changeset | files |
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 |
Thu, 18 Jan 2001 20:35:39 +0100 | wenzelm | generate index.html for pdf docs; | changeset | files |
Thu, 18 Jan 2001 20:23:51 +0100 | oheimb | splitted Loop rule | changeset | files |