| Fri, 10 Mar 2006 15:33:48 +0100 | haftmann | renamed HOL + - * etc. to HOL.plus HOL.minus HOL.times etc. | file | diff | annotate |
| Tue, 07 Mar 2006 16:03:31 +0100 | obua | Added HOL-ZF to Isabelle. | file | diff | annotate |
| Wed, 15 Feb 2006 23:57:06 +0100 | obua | fixed bugs, added caching | file | diff | annotate |
| 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 |