| Mon, 08 Sep 2014 13:56:27 +0200 | blanchet | the kind is now always the empty string -- can no longer distinguish between user theorems and package theorems in a semi-reliable way | changeset | files |
| 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 |