Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | separation of static and dynamic thy context | changeset | files |
Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | adjusted setup | changeset | files |
Thu, 16 Sep 2010 16:51:34 +0200 | haftmann | dynamic and static value computation; built-in evaluation of propositions | changeset | files |