| Sun, 21 Sep 2014 16:56:11 +0200 | haftmann | explicit separation of signed and unsigned numerals using existing lexical categories num and xnum | changeset | files |
| Sun, 21 Sep 2014 16:56:06 +0200 | haftmann | corrected slip in documentation | changeset | files |
| Sat, 20 Sep 2014 10:44:24 +0200 | steckerm | Removed double space | changeset | files |
| Sat, 20 Sep 2014 10:44:24 +0200 | steckerm | Changed proof method to auto for custom Waldmeister lemma | changeset | files |
| Sat, 20 Sep 2014 10:44:24 +0200 | steckerm | Minor fixes in ATP_Waldmeister | changeset | files |
| Sat, 20 Sep 2014 10:44:23 +0200 | steckerm | Made encoded type for apply less restrictive | changeset | files |
| Sat, 20 Sep 2014 10:44:23 +0200 | steckerm | Updated fix_name function | changeset | files |
| Sat, 20 Sep 2014 10:42:08 +0200 | steckerm | Added support for partial function application | changeset | files |