| Mon, 12 Sep 2005 20:31:56 +0200 | nipkow | name conflict with global itrev resolved | changeset | files |
| Mon, 12 Sep 2005 20:15:15 +0200 | nipkow | dealt with name clash with List.itrev | changeset | files |
| Mon, 12 Sep 2005 18:20:32 +0200 | haftmann | introduced new-style AList operations | changeset | files |
| Mon, 12 Sep 2005 17:29:07 +0200 | obua | introduced internal function hthm2thm | changeset | files |
| Mon, 12 Sep 2005 16:20:18 +0200 | obua | 1) Added target HOL-Complex-Generate-HOLLight | changeset | files |
| Mon, 12 Sep 2005 15:52:00 +0200 | obua | Added HOLLight support to importer. | changeset | files |
| Mon, 12 Sep 2005 12:11:17 +0200 | wenzelm | added interact flag to control mode of excursions; | changeset | files |
| Sun, 11 Sep 2005 20:02:51 +0200 | wenzelm | excursion: interactive if debug; | changeset | files |