| Mon, 13 Jul 1998 16:04:39 +0200 | nipkow | Replace awkward primrec by recdef. | changeset | files |
| Mon, 13 Jul 1998 16:04:22 +0200 | nipkow | swapped condition in update_apply. | changeset | files |
| Sun, 12 Jul 1998 11:49:17 +0200 | wenzelm | isatool expandshort; | changeset | files |
| Fri, 10 Jul 1998 15:24:22 +0200 | wenzelm | the distribution now includes Isabelle icons: see | changeset | files |
| Fri, 10 Jul 1998 15:19:10 +0200 | wenzelm | added xpm icons; | changeset | files |
| Mon, 06 Jul 1998 14:03:25 +0200 | nipkow | Converted to Auto_tac | changeset | files |
| Fri, 03 Jul 1998 18:56:40 +0200 | wenzelm | several new basic modules made available for general use; | changeset | files |
| Fri, 03 Jul 1998 18:53:02 +0200 | wenzelm | cleaned up; | changeset | files |
| Fri, 03 Jul 1998 18:05:03 +0200 | wenzelm | theory Main includes everything; | changeset | files |
| Fri, 03 Jul 1998 17:36:45 +0200 | wenzelm | reorganized the main HOL image; | changeset | files |
| Fri, 03 Jul 1998 17:35:39 +0200 | wenzelm | stepping stones: Recdef, Main; | changeset | files |
| Fri, 03 Jul 1998 17:34:55 +0200 | wenzelm | stepping stones; | changeset | files |