| Mon, 17 Mar 2003 17:37:48 +0100 |
paulson |
More "progress set" material
|
changeset |
files
|
| Mon, 17 Mar 2003 17:37:20 +0100 |
paulson |
moved one proof, added another
|
changeset |
files
|
| Fri, 14 Mar 2003 18:00:16 +0100 |
ballarin |
Bugs fixed and operators finprod and finsum.
|
changeset |
files
|
| Fri, 14 Mar 2003 12:03:23 +0100 |
kleing |
more about list_all2
|
changeset |
files
|
| Fri, 14 Mar 2003 12:02:14 +0100 |
kleing |
fix for changes in HOL/Hoare/
|
changeset |
files
|
| Fri, 14 Mar 2003 10:30:46 +0100 |
paulson |
Proved the main lemma on progress sets
|
changeset |
files
|
| Fri, 14 Mar 2003 10:30:15 +0100 |
paulson |
new UN/INT simprules
|
changeset |
files
|
| Thu, 13 Mar 2003 18:54:38 +0100 |
berghofe |
split_name no longer uses Sign.string_of_typ to encode types, since
|
changeset |
files
|
| Tue, 11 Mar 2003 15:19:27 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 11 Mar 2003 15:04:24 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 11 Mar 2003 15:04:24 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Tue, 11 Mar 2003 14:13:20 +0100 |
berghofe |
addsplits / delsplits no longer ignore type of constant.
|
changeset |
files
|
| Mon, 10 Mar 2003 17:25:34 +0100 |
ballarin |
First distributed version of Group and Ring theory.
|
changeset |
files
|
| Mon, 10 Mar 2003 16:21:06 +0100 |
paulson |
New theory ProgressSets. Definition of closure sets
|
changeset |
files
|