Thu, 03 Aug 2006 15:14:05 +0200 | obua | fixed generator | file | diff | annotate |
Tue, 01 Aug 2006 13:51:16 +0200 | obua | removed skip | file | diff | annotate |
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 |