| Mon, 17 Mar 2008 18:37:05 +0100 | wenzelm | avoid rebinding of existing facts; | file | diff | annotate |
| Sun, 30 Sep 2007 21:55:18 +0200 | wenzelm | avoid unnamed infixes; | file | diff | annotate |
| Thu, 02 Aug 2007 12:06:27 +0200 | wenzelm | turned simp_depth_limit into configuration option; | file | diff | annotate |
| Mon, 11 Jun 2007 11:06:04 +0200 | chaieb | tuned Proof | file | diff | annotate |
| Sun, 15 Apr 2007 14:31:44 +0200 | wenzelm | replaced axioms/finalconsts by proper axiomatization; | file | diff | annotate |
| Mon, 18 Sep 2006 15:11:31 +0200 | obua | replaced implodeable_Ext by set_like | file | diff | annotate |
| Wed, 26 Jul 2006 19:23:04 +0200 | webertj | linear arithmetic splits certain operators (e.g. min, max, abs) | file | diff | annotate |
| Tue, 07 Mar 2006 16:03:31 +0100 | obua | Added HOL-ZF to Isabelle. | file | diff | annotate |