| Thu, 31 Jul 2003 00:01:47 +0200 |
berghofe |
Removed extraneous rev in function goal_params (the list of parameters
|
changeset |
files
|
| Tue, 29 Jul 2003 13:32:16 +0200 |
kleing |
opened new section for next Isabelle release
|
changeset |
files
|
| Mon, 28 Jul 2003 11:16:38 +0200 |
berghofe |
test_term now handles Match exception raised in generated code.
|
changeset |
files
|
| Fri, 25 Jul 2003 17:21:22 +0200 |
nipkow |
Replaced \<leadsto> by \<rightharpoonup>
|
changeset |
files
|
| Fri, 25 Jul 2003 10:52:15 +0200 |
paulson |
Simplified a proof using presburger
|
changeset |
files
|
| Thu, 24 Jul 2003 18:23:17 +0200 |
paulson |
new theory Library/NatPair
|
changeset |
files
|
| Thu, 24 Jul 2003 18:23:00 +0200 |
paulson |
declarations moved from PreList.thy
|
changeset |
files
|
| Thu, 24 Jul 2003 17:52:38 +0200 |
berghofe |
Fixed two bugs:
|
changeset |
files
|
| Thu, 24 Jul 2003 17:47:56 +0200 |
berghofe |
Exported function get_mode.
|
changeset |
files
|
| Thu, 24 Jul 2003 16:41:40 +0200 |
paulson |
header comment
|
changeset |
files
|
| Thu, 24 Jul 2003 16:37:04 +0200 |
paulson |
new theory NatPair of the injection from nat*nat -> nat
|
changeset |
files
|
| Thu, 24 Jul 2003 16:36:29 +0200 |
paulson |
Tidying and replacement of some axioms by specifications
|
changeset |
files
|
| Thu, 24 Jul 2003 16:35:51 +0200 |
paulson |
tidied
|
changeset |
files
|
| Tue, 22 Jul 2003 11:05:02 +0200 |
paulson |
Added some regression testing for simprocs
|
changeset |
files
|