Thu, 08 Jul 1999 18:28:02 +0200 | wenzelm | theorems involving oracles are now printed with a suffixed [!]; | changeset | files |
Thu, 08 Jul 1999 18:27:01 +0200 | wenzelm | Theorems involving oracles will be printed with a suffixed \verb|[!]|; | changeset | files |
Thu, 08 Jul 1999 18:26:24 +0200 | wenzelm | updated usedir; | changeset | files |
Thu, 08 Jul 1999 13:55:18 +0200 | paulson | integer division | changeset | files |
Thu, 08 Jul 1999 13:48:11 +0200 | paulson | Renaming of theorems from _nat0 to _int0 and _nat1 to _int1 | changeset | files |
Thu, 08 Jul 1999 13:47:27 +0200 | paulson | Introduction of integer division algorithm | changeset | files |
Thu, 08 Jul 1999 13:46:29 +0200 | paulson | changed header to cope with default if_weak_cong | changeset | files |