Wed, 19 Sep 2012 17:07:25 +0200 | wenzelm | earlier treatment of embedded report/no_report messages (see also 4110cc1b8f9f); | changeset | files |
Wed, 19 Sep 2012 14:47:15 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
Wed, 19 Sep 2012 13:19:45 +0200 | wenzelm | tuned; | changeset | files |
Wed, 19 Sep 2012 12:11:09 +0200 | wenzelm | merged | changeset | files |
Wed, 19 Sep 2012 10:57:44 +0200 | bulwahn | recording elapsed time in mutabelle for more detailed evaluation | changeset | files |
Tue, 18 Sep 2012 14:13:58 +0200 | popescua | Added missing predicators (for multisets and countable sets) | changeset | files |