Mon, 12 Mar 2001 18:17:45 +0100 | nipkow | *** empty log message *** | changeset | files |
Fri, 09 Mar 2001 19:05:48 +0100 | nipkow | arith_tac now copes with propositional reasoning as well. | changeset | files |
Wed, 07 Mar 2001 18:35:27 +0100 | paulson | expanded abbrevs | changeset | files |
Wed, 07 Mar 2001 17:19:16 +0100 | streckem | added strange 'b y' syntax | changeset | files |
Wed, 07 Mar 2001 16:25:51 +0100 | nipkow | *** empty log message *** | changeset | files |
Wed, 07 Mar 2001 15:54:11 +0100 | nipkow | *** empty log message *** | changeset | files |
Mon, 05 Mar 2001 15:47:11 +0100 | paulson | reorganization of HOL/UNITY, moving examples to subdirectories Simple and Comp | changeset | files |