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 |