| Mon, 08 Sep 2014 09:52:06 +0200 | traytel | made tactic more robust w.r.t. dead variables | changeset | files |
| Sun, 07 Sep 2014 17:51:32 +0200 | haftmann | restrictive options for class dependencies | changeset | files |
| Sun, 07 Sep 2014 17:51:28 +0200 | haftmann | separated class_deps command into separate file | changeset | files |
| Sun, 07 Sep 2014 14:39:23 +0200 | steckerm | Added translation for lambda expressions in terms. | changeset | files |
| Sun, 07 Sep 2014 09:49:05 +0200 | haftmann | explicit theory with additional, less commonly used list operations | changeset | files |
| Sun, 07 Sep 2014 09:49:01 +0200 | haftmann | generalized | changeset | files |
| Sat, 06 Sep 2014 20:12:36 +0200 | haftmann | theory about sum and product on function bodies | changeset | files |
| Sat, 06 Sep 2014 20:12:34 +0200 | haftmann | theory about lexicographic ordering on functions | changeset | files |