| Sat, 13 Oct 2007 17:16:40 +0200 | wenzelm | Theory.specify_const: added deps argument; | file | diff | annotate |
| Thu, 11 Oct 2007 16:05:32 +0200 | wenzelm | Theory.specify_const; | file | diff | annotate |
| 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 |