| Thu, 13 Mar 2014 10:34:48 +0100 | wenzelm | clarified Path.smart_implode; | changeset | files |
| Fri, 14 Mar 2014 09:09:33 -0700 | huffman | generalization of differential_zero_maxmin to class real_normed_vector | changeset | files |
| Fri, 14 Mar 2014 12:09:51 +0100 | blanchet | delayed construction of command (and of noncommercial check) + tuning | changeset | files |
| Fri, 14 Mar 2014 11:52:03 +0100 | blanchet | tuning | changeset | files |
| Fri, 14 Mar 2014 11:44:11 +0100 | blanchet | consolidate consecutive steps that prove the same formula | changeset | files |
| Fri, 14 Mar 2014 11:31:39 +0100 | blanchet | remove '__' skolem suffixes before showing terms to users | changeset | files |
| Fri, 14 Mar 2014 11:15:46 +0100 | blanchet | undo rewrite rules (e.g. for 'fun_app') in Isar | changeset | files |