changeset 14624 | 9b3397a848c3 |
parent 14616 | b167b1b848d8 |
child 17544 | 929d157d4369 |
--- a/ANNOUNCE Mon Apr 19 00:45:50 2004 +0200 +++ b/ANNOUNCE Mon Apr 19 08:20:52 2004 +0200 @@ -8,6 +8,9 @@ (see the NEWS of the distribution for more details): +* New image HOL4 with imported library from HOL4 system on top of + HOL-Complex (about 2500 additional theorems). + * New theory Ring_and_Field with over 250 basic numerical laws, all proved in axiomatic type classes for semirings, rings and fields.