Wed, 26 Aug 2009 17:38:02 +0100 merged
chaieb [Wed, 26 Aug 2009 17:38:02 +0100] rev 32413
merged
Wed, 26 Aug 2009 17:34:32 +0100 removed unused theorem finite_Atleast_Atmost
chaieb [Wed, 26 Aug 2009 17:34:32 +0100] rev 32412
removed unused theorem finite_Atleast_Atmost
Tue, 19 May 2009 14:13:37 +0100 merged
chaieb [Tue, 19 May 2009 14:13:37 +0100] rev 32411
merged
Tue, 19 May 2009 14:13:23 +0100 Derivative of general reverses
chaieb [Tue, 19 May 2009 14:13:23 +0100] rev 32410
Derivative of general reverses
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
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip