| Thu, 02 Sep 2010 16:41:44 +0200 | haftmann | more canonical theory setup | file | diff | annotate |
| Fri, 27 Aug 2010 14:07:09 +0200 | wenzelm | expanded some aliases from structure Unsynchronized; | file | diff | annotate |
| Wed, 18 Aug 2010 09:46:59 +0200 | haftmann | pretty constraint syntax; tuned theory imports | file | diff | annotate |