| Mon, 12 May 2003 12:36:22 +0200 | paulson | some information for Constructible | changeset | files |
| Mon, 12 May 2003 12:27:10 +0200 | paulson | some information for Complex | changeset | files |
| Mon, 12 May 2003 12:26:50 +0200 | paulson | updated text | changeset | files |
| Mon, 12 May 2003 12:12:19 +0200 | kleing | makefiles for latex runs | changeset | files |
| Mon, 12 May 2003 11:56:29 +0200 | kleing | defer latex run to Makefile (not IsaMakefile) | changeset | files |
| Mon, 12 May 2003 11:54:29 +0200 | kleing | added isar-overview | changeset | files |
| Mon, 12 May 2003 11:34:49 +0200 | kleing | added IsarOverview | changeset | files |
| Mon, 12 May 2003 11:33:55 +0200 | kleing | IsarOverview moved one level up | changeset | files |
| Sat, 10 May 2003 20:53:02 +0200 | berghofe | Added new function eta_long. | changeset | files |
| Sat, 10 May 2003 20:52:18 +0200 | berghofe | - Added split_min and split_max to preprocessor | changeset | files |
| Fri, 09 May 2003 18:00:30 +0200 | nipkow | *** empty log message *** | changeset | files |
| Fri, 09 May 2003 17:19:58 +0200 | ballarin | NEWS updated for HOL-Algebra. | changeset | files |