Wed, 19 Oct 2005 21:52:27 +0200 | wenzelm | isatool fixheaders; | file | diff | annotate |
Mon, 26 Sep 2005 16:10:19 +0200 | obua | Release HOL4 and HOLLight Importer. | file | diff | annotate |
Mon, 26 Sep 2005 02:27:14 +0200 | obua | fixed disambiguation problem | file | diff | annotate |