Tue, 16 May 2006 14:11:39 +0200 | urbanc | added a much simpler proof for the iteration and | file | diff | annotate |
Fri, 28 Apr 2006 15:58:30 +0200 | berghofe | Capitalized theory names. | file | diff | annotate |
Thu, 27 Apr 2006 01:41:30 +0200 | urbanc | isar-keywords.el | file | diff | annotate |
Wed, 08 Mar 2006 18:52:43 +0100 | urbanc | tuned some proofs | file | diff | annotate |
Wed, 08 Mar 2006 17:55:51 +0100 | urbanc | tuned some proofs | file | diff | annotate |
Thu, 02 Mar 2006 15:05:09 +0100 | urbanc | split the files | file | diff | annotate |
Wed, 01 Mar 2006 18:24:31 +0100 | urbanc | streamlined the proof | file | diff | annotate |
Wed, 01 Mar 2006 00:04:52 +0100 | urbanc | some minor tuning on the proofs | file | diff | annotate |
Tue, 28 Feb 2006 12:28:22 +0100 | urbanc | initial commit (especially 2nd half needs to be cleaned up) | file | diff | annotate |