| Fri, 28 Aug 2009 10:52:44 +0200 | wenzelm | PDF_VIEWER: more Unix-ish behaviour on Mac OS; | changeset | files |
| Thu, 27 Aug 2009 18:45:58 +0200 | nipkow | merged | changeset | files |
| Thu, 27 Aug 2009 18:45:39 +0200 | nipkow | New example: IMP | changeset | files |
| Thu, 27 Aug 2009 13:09:25 +0200 | nipkow | merged | changeset | files |
| Thu, 27 Aug 2009 11:41:07 +0200 | nipkow | code generator: quantifiers over {_.._::int} and {_..<_::nat} | changeset | files |
| Thu, 27 Aug 2009 17:09:37 +0200 | wenzelm | more stats; | changeset | files |
| Thu, 27 Aug 2009 17:00:03 +0200 | wenzelm | tuned tracing; | changeset | files |
| Thu, 27 Aug 2009 11:54:17 +0200 | wenzelm | merged | changeset | files |
| Thu, 27 Aug 2009 11:54:05 +0200 | wenzelm | avoid macbroy21 for now -- hardware problems; | changeset | files |
| Thu, 27 Aug 2009 09:28:52 +0200 | nipkow | tuned code generation for lists | changeset | files |
| Wed, 26 Aug 2009 19:54:19 +0200 | nipkow | merged | changeset | files |
| Wed, 26 Aug 2009 19:54:01 +0200 | nipkow | got rid of complicated class finite_intvl_succ and defined "upto" directly on int, the only instance of the class. | changeset | files |
| Wed, 26 Aug 2009 17:38:18 +0100 | chaieb | merged | changeset | files |
| 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 |
| Mon, 24 Aug 2009 10:44:03 +0200 | boehmes | stricter condition for (binary) integer relation | changeset | files |
| Mon, 24 Aug 2009 09:49:50 +0200 | boehmes | more quoting for shell variables, canonical isabelle process | changeset | files |