| Mon, 08 Sep 2014 14:03:01 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Mon, 08 Sep 2014 14:03:01 +0200 |
blanchet |
more compatibility documentation
|
changeset |
files
|
| Mon, 08 Sep 2014 13:56:28 +0200 |
blanchet |
refactored MaSh files to avoid regenerating exports on each eval
|
changeset |
files
|
| Mon, 08 Sep 2014 13:56:27 +0200 |
blanchet |
added missing 'transpose'
|
changeset |
files
|
| 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
|
| 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
|
| Sat, 06 Sep 2014 20:12:32 +0200 |
haftmann |
added various facts
|
changeset |
files
|