| Sun, 30 Sep 2007 16:20:31 +0200 | wenzelm | Sign.add_consts_authentic: tags (Markup.property list); | file | diff | annotate |
| Tue, 25 Sep 2007 17:06:19 +0200 | wenzelm | proper Sign operations instead of Theory aliases; | file | diff | annotate |
| Tue, 25 Sep 2007 15:34:35 +0200 | wenzelm | simplified interpretation setup; | file | diff | annotate |
| Tue, 25 Sep 2007 13:42:59 +0200 | haftmann | size hook | file | diff | annotate |