| Mon, 26 Sep 2005 02:27:14 +0200 | obua | fixed disambiguation problem | file | diff | annotate |
| Mon, 19 Sep 2005 22:35:39 +0200 | obua | maybe the last bug fix (sigh)? | file | diff | annotate |
| Sat, 17 Sep 2005 11:49:29 +0200 | obua | 1) mapped .. and == constants | file | diff | annotate |
| Fri, 16 Sep 2005 21:02:15 +0200 | obua | fixed HOL-light/Isabelle syntax incompatability via more protect_xxx functions | file | diff | annotate |
| Mon, 12 Sep 2005 15:52:00 +0200 | obua | Added HOLLight support to importer. | file | diff | annotate |