Wed, 03 Sep 2014 22:46:54 +0200 | blanchet | added tests for new 'countable_datatype' proof method | changeset | files |
Wed, 03 Sep 2014 12:30:25 +0200 | traytel | lessen the burden on the caller: sort where necessary in n2m | changeset | files |
Wed, 03 Sep 2014 09:43:00 +0200 | blanchet | added compatibility function | changeset | files |