| Thu, 14 Jun 2007 23:04:39 +0200 | wenzelm | tuned proofs; | file | diff | annotate |
| Thu, 10 May 2007 10:22:17 +0200 | haftmann | consts in consts_code Isar commands are now referred to by usual term syntax | file | diff | annotate |
| Sun, 06 May 2007 21:49:23 +0200 | haftmann | tuned | file | diff | annotate |