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
|