Wed, 17 Nov 2010 13:39:30 +0100 merged
wenzelm [Wed, 17 Nov 2010 13:39:30 +0100] rev 40581
merged
Wed, 17 Nov 2010 09:22:23 +0100 require the b2i file ending in the boogie_open command (for consistency with the theory header)
boehmes [Wed, 17 Nov 2010 09:22:23 +0100] rev 40580
require the b2i file ending in the boogie_open command (for consistency with the theory header)
Wed, 17 Nov 2010 08:14:56 +0100 use the const antiquotation for constants (this checks that the constant is declared, whereas the more general term antiquotation treats undeclared names as free variable)
boehmes [Wed, 17 Nov 2010 08:14:56 +0100] rev 40579
use the const antiquotation for constants (this checks that the constant is declared, whereas the more general term antiquotation treats undeclared names as free variable)
Wed, 17 Nov 2010 08:14:55 +0100 keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
boehmes [Wed, 17 Nov 2010 08:14:55 +0100] rev 40578
keep input and output files used to communicate with the SMT solver (for debugging purposes mainly)
Tue, 16 Nov 2010 12:08:28 -0800 add lemmas about powerdomains
huffman [Tue, 16 Nov 2010 12:08:28 -0800] rev 40577
add lemmas about powerdomains
Tue, 16 Nov 2010 11:57:10 -0800 declare {upper,lower,convex}_pd_induct as default induction rules
huffman [Tue, 16 Nov 2010 11:57:10 -0800] rev 40576
declare {upper,lower,convex}_pd_induct as default induction rules
Tue, 16 Nov 2010 11:50:05 -0800 rename 'repdef' to 'domaindef'
huffman [Tue, 16 Nov 2010 11:50:05 -0800] rev 40575
rename 'repdef' to 'domaindef'
Wed, 17 Nov 2010 13:38:53 +0100 refrain from opening Scratch.thy by default, to avoid bombing the editor with old/long theory text;
wenzelm [Wed, 17 Nov 2010 13:38:53 +0100] rev 40574
refrain from opening Scratch.thy by default, to avoid bombing the editor with old/long theory text;
Wed, 17 Nov 2010 11:24:07 +0100 less parentheses, cf. Session.welcome;
wenzelm [Wed, 17 Nov 2010 11:24:07 +0100] rev 40573
less parentheses, cf. Session.welcome;
Tue, 16 Nov 2010 22:40:45 +0100 avoid spam;
wenzelm [Tue, 16 Nov 2010 22:40:45 +0100] rev 40572
avoid spam;
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip