| Wed, 26 Aug 2009 17:38:02 +0100 | chaieb | merged | changeset | files |
| Wed, 26 Aug 2009 17:34:32 +0100 | chaieb | removed unused theorem finite_Atleast_Atmost | changeset | files |
| Tue, 19 May 2009 14:13:37 +0100 | chaieb | merged | changeset | files |
| Tue, 19 May 2009 14:13:23 +0100 | chaieb | Derivative of general reverses | changeset | files |
| Wed, 26 Aug 2009 16:41:37 +0200 | nipkow | merged | changeset | files |
| Wed, 26 Aug 2009 16:13:19 +0200 | nipkow | new interval lemma | changeset | files |
| Wed, 26 Aug 2009 12:52:01 +0100 | paulson | merged | changeset | files |
| Wed, 26 Aug 2009 12:51:38 +0100 | paulson | Simplified some proofs using metis. | changeset | files |
| Fri, 21 Aug 2009 14:40:19 +0100 | paulson | merged | changeset | files |
| Fri, 14 Aug 2009 17:26:11 +0100 | paulson | sledgehammer used to streamline protocol proofs | changeset | files |
| Fri, 14 Aug 2009 15:20:16 +0100 | paulson | Put back characters that had been erased by Emacs | changeset | files |
| Wed, 26 Aug 2009 11:40:28 +0200 | boehmes | added further conversions and conversionals | changeset | files |
| Wed, 26 Aug 2009 10:48:45 +0200 | nipkow | merged | changeset | files |
| Wed, 26 Aug 2009 10:48:12 +0200 | nipkow | new lemmas | changeset | files |
| Mon, 24 Aug 2009 13:59:08 +0200 | krauss | some examples for giving measures manually | changeset | files |