Thu, 25 Feb 2010 22:08:43 +0100 more orthogonal antiquotations for type constructors;
wenzelm [Thu, 25 Feb 2010 22:08:43 +0100] rev 35361
more orthogonal antiquotations for type constructors;
Thu, 25 Feb 2010 22:06:43 +0100 clarified ProofContext.read_type_name/Args.type_name wrt strict logical constructors;
wenzelm [Thu, 25 Feb 2010 22:06:43 +0100] rev 35360
clarified ProofContext.read_type_name/Args.type_name wrt strict logical constructors;
Thu, 25 Feb 2010 22:05:34 +0100 provide direct access to the different kinds of type declarations;
wenzelm [Thu, 25 Feb 2010 22:05:34 +0100] rev 35359
provide direct access to the different kinds of type declarations;
Thu, 25 Feb 2010 09:16:16 +0100 use mixfix syntax for Boogie types
boehmes [Thu, 25 Feb 2010 09:16:16 +0100] rev 35358
use mixfix syntax for Boogie types
Wed, 24 Feb 2010 22:45:14 +0100 merged
wenzelm [Wed, 24 Feb 2010 22:45:14 +0100] rev 35357
merged
Wed, 24 Feb 2010 18:39:24 +0100 added variant of boogie_vc to prove a single assertion: keep premises (i.e. the trace up this assertion) as facts in the context (and not as part of the goal) to increase performance when dealing with large goals
boehmes [Wed, 24 Feb 2010 18:39:24 +0100] rev 35356
added variant of boogie_vc to prove a single assertion: keep premises (i.e. the trace up this assertion) as facts in the context (and not as part of the goal) to increase performance when dealing with large goals
Wed, 24 Feb 2010 22:09:50 +0100 modernized syntax declarations, and make them actually work with authentic syntax;
wenzelm [Wed, 24 Feb 2010 22:09:50 +0100] rev 35355
modernized syntax declarations, and make them actually work with authentic syntax;
Wed, 24 Feb 2010 22:04:10 +0100 observe standard convention for syntax consts;
wenzelm [Wed, 24 Feb 2010 22:04:10 +0100] rev 35354
observe standard convention for syntax consts;
Wed, 24 Feb 2010 21:59:21 +0100 proper type syntax (cf. 7425aece4ee3);
wenzelm [Wed, 24 Feb 2010 21:59:21 +0100] rev 35353
proper type syntax (cf. 7425aece4ee3);
Wed, 24 Feb 2010 21:55:46 +0100 observe standard convention for syntax consts;
wenzelm [Wed, 24 Feb 2010 21:55:46 +0100] rev 35352
observe standard convention for syntax consts;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip