| Fri, 10 May 1996 17:03:17 +0200 | paulson | Updated for new form of induction rules | changeset | files |
| Thu, 09 May 1996 11:46:32 +0200 | paulson | Updated for new form of induction rules | changeset | files |
| Thu, 09 May 1996 11:45:53 +0200 | paulson | Removed special syntax for -a-> and nested tuples to left | changeset | files |
| Thu, 09 May 1996 11:45:00 +0200 | paulson | Updated for new form of induction rules | changeset | files |
| Thu, 09 May 1996 11:43:44 +0200 | paulson | Added prune_params_tac to improve readability of subgoals | changeset | files |
| Wed, 08 May 1996 18:01:54 +0200 | paulson | moved ap_split to cartprod.ML | changeset | files |
| Wed, 08 May 1996 17:59:21 +0200 | paulson | Modified to use new functor signatures | changeset | files |