| Fri, 21 Jun 1996 13:39:08 +0200 | berghofe | Replaced occurrence of set_cs by claset_of "Fun" . | changeset | files |
| Fri, 21 Jun 1996 13:34:55 +0200 | berghofe | Added function Addss. | changeset | files |
| Fri, 21 Jun 1996 12:18:50 +0200 | berghofe | Classical tactics now use default claset. | changeset | files |
| Fri, 21 Jun 1996 11:57:00 +0200 | oheimb | minor fix of index_vnames: name "O" is occupied (used in HOL/Relation.thy) | changeset | files |
| Thu, 20 Jun 1996 10:27:29 +0200 | paulson | Restored Addsimps [Suc_le_lessD], as it cannot be added | changeset | files |
| Thu, 20 Jun 1996 10:26:13 +0200 | paulson | Corrected comment | changeset | files |
| Tue, 18 Jun 1996 16:38:48 +0200 | paulson | New rewrites for vacuous quantification | changeset | files |