Tue, 07 May 1996 18:17:52 +0200 | paulson | Removal of special syntax for -a-> and -b-> | changeset | files |
Tue, 07 May 1996 18:15:51 +0200 | paulson | Unfolding of arbitrarily nested tuples in induction rules | changeset | files |
Tue, 07 May 1996 18:14:39 +0200 | paulson | Now split_all_tac works for i>1 ! | changeset | files |