| 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 |
| Fri, 09 Sep 2005 20:37:00 +0200 | huffman | updated to work with new HOL-Complex version | changeset | files |
| Fri, 09 Sep 2005 19:34:22 +0200 | huffman | starfun, starset, and other functions on NS types are now polymorphic; | changeset | files |