| Mon, 12 Jun 2006 20:32:33 +0200 | urbanc | added lemma fresh_unit to Nominal.thy | file | diff | annotate |
| 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 |