| Tue, 23 May 2000 18:06:22 +0200 |
paulson |
added type constraint ::nat because 0 is now overloaded
|
file |
diff |
annotate
|
| Tue, 16 May 2000 14:07:06 +0200 |
paulson |
new policy to simplify the use of numerals:
|
file |
diff |
annotate
|
| Fri, 12 May 2000 15:14:08 +0200 |
paulson |
new simprules for nat_case and nat_rec
|
file |
diff |
annotate
|
| Wed, 10 May 2000 13:36:27 +0200 |
paulson |
new default simprule for better compatibility with old setup
|
file |
diff |
annotate
|
| Fri, 05 May 2000 17:49:54 +0200 |
paulson |
simprocs now simplify the RHS of their result
|
file |
diff |
annotate
|
| Thu, 04 May 2000 12:29:00 +0200 |
paulson |
further tidying of integer simprocs
|
file |
diff |
annotate
|
| Wed, 03 May 2000 18:33:28 +0200 |
paulson |
Installation of CombineNumerals for the integers
|
file |
diff |
annotate
|
| Tue, 02 May 2000 18:42:48 +0200 |
paulson |
now with combine_numerals
|
file |
diff |
annotate
|
| Sun, 23 Apr 2000 11:35:00 +0200 |
paulson |
bug fixes to new simprocs
|
file |
diff |
annotate
|
| Fri, 21 Apr 2000 11:29:57 +0200 |
paulson |
new file containing simproc invocations, from NatBin.ML
|
file |
diff |
annotate
|