| Wed, 15 May 1996 13:51:15 +0200 |
paulson |
Deleted spurious line break
|
changeset |
files
|
| Fri, 10 May 1996 17:41:10 +0200 |
paulson |
Corrected and augmented timings
|
changeset |
files
|
| 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
|
| Wed, 08 May 1996 17:57:05 +0200 |
paulson |
Predicates are now uncurried in both induction rules,
|
changeset |
files
|
| Wed, 08 May 1996 17:54:07 +0200 |
paulson |
Uses new ap_split from cartprod module
|
changeset |
files
|
| Wed, 08 May 1996 17:52:52 +0200 |
paulson |
New functor for operating on the two forms of Cartesian product
|
changeset |
files
|
| Wed, 08 May 1996 17:49:16 +0200 |
paulson |
Added new name cartprod
|
changeset |
files
|
| Wed, 08 May 1996 17:43:23 +0200 |
paulson |
Updated for new form of induction rules
|
changeset |
files
|
| Wed, 08 May 1996 16:10:32 +0200 |
paulson |
Updated for new form of induction rules
|
changeset |
files
|