| Tue, 13 Apr 2004 20:31:55 +0200 | wenzelm | * Calculation commands "moreover" and "also" no longer interfere with | changeset | files |
| Tue, 13 Apr 2004 20:22:26 +0200 | wenzelm | 'also'/'moreover': do not interfere with current facts, allow in chain mode; | changeset | files |
| Tue, 13 Apr 2004 20:21:11 +0200 | wenzelm | export put_thms; | changeset | files |
| Tue, 13 Apr 2004 13:53:54 +0200 | ballarin | Added brief intro text. | changeset | files |
| Tue, 13 Apr 2004 10:45:35 +0200 | kleing | convert symbols to HTML 4.0 character entities, | changeset | files |
| Tue, 13 Apr 2004 09:42:40 +0200 | ballarin | Various changes to HOL-Algebra; | changeset | files |
| Tue, 13 Apr 2004 07:48:32 +0200 | kleing | hence -> from calculation have | changeset | files |