Wed, 26 Aug 2009 16:41:37 +0200 merged
nipkow [Wed, 26 Aug 2009 16:41:37 +0200] rev 32409
merged
Wed, 26 Aug 2009 16:13:19 +0200 new interval lemma
nipkow [Wed, 26 Aug 2009 16:13:19 +0200] rev 32408
new interval lemma CCS example for predicate compiler
Wed, 26 Aug 2009 12:52:01 +0100 merged
paulson [Wed, 26 Aug 2009 12:52:01 +0100] rev 32407
merged
Wed, 26 Aug 2009 12:51:38 +0100 Simplified some proofs using metis.
paulson [Wed, 26 Aug 2009 12:51:38 +0100] rev 32406
Simplified some proofs using metis.
Fri, 21 Aug 2009 14:40:19 +0100 merged
paulson [Fri, 21 Aug 2009 14:40:19 +0100] rev 32405
merged
Fri, 14 Aug 2009 17:26:11 +0100 sledgehammer used to streamline protocol proofs
paulson [Fri, 14 Aug 2009 17:26:11 +0100] rev 32404
sledgehammer used to streamline protocol proofs
Fri, 14 Aug 2009 15:20:16 +0100 Put back characters that had been erased by Emacs
paulson [Fri, 14 Aug 2009 15:20:16 +0100] rev 32403
Put back characters that had been erased by Emacs
Wed, 26 Aug 2009 11:40:28 +0200 added further conversions and conversionals
boehmes [Wed, 26 Aug 2009 11:40:28 +0200] rev 32402
added further conversions and conversionals
Wed, 26 Aug 2009 10:48:45 +0200 merged
nipkow [Wed, 26 Aug 2009 10:48:45 +0200] rev 32401
merged
Wed, 26 Aug 2009 10:48:12 +0200 new lemmas
nipkow [Wed, 26 Aug 2009 10:48:12 +0200] rev 32400
new lemmas
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip