| Fri, 04 Sep 1998 13:24:10 +0200 | nipkow | Function 'upt' | changeset | files |
| Fri, 04 Sep 1998 11:01:59 +0200 | nipkow | Arith: less_diff_conv | changeset | files |
| Thu, 03 Sep 1998 16:40:02 +0200 | paulson | A new approach, using simp_of_act and simp_of_set to activate definitions when | changeset | files |
| Wed, 02 Sep 1998 16:52:06 +0200 | nipkow | Added function upto to List. | changeset | files |
| Wed, 02 Sep 1998 10:37:13 +0200 | paulson | modified proofs for new constrains_tac and ensures_tac | changeset | files |
| Wed, 02 Sep 1998 10:36:49 +0200 | paulson | two new thms | changeset | files |
| Wed, 02 Sep 1998 10:36:22 +0200 | paulson | Moved constrains_tac from SubstAx to Constrains. | changeset | files |