Tue, 14 Apr 2015 15:54:17 +0200 | noschinl | merged | changeset | files |
Tue, 14 Apr 2015 08:42:16 +0200 | noschinl | rewrite: tuned code, no semantic changes | changeset | files |
Mon, 13 Apr 2015 20:11:12 +0200 | noschinl | rewrite: with asm pattern, propagate also remaining assumptions to new subgoals | changeset | files |
Mon, 13 Apr 2015 15:32:32 +0200 | noschinl | rewrite: do not descend into conclusion of premise with asm pattern | changeset | files |
Mon, 13 Apr 2015 14:52:40 +0200 | noschinl | rewrite: with asm pattern, try all premises for rewriting, not only the first | changeset | files |
Mon, 13 Apr 2015 14:45:44 +0200 | noschinl | tuned | changeset | files |