| Thu, 17 Oct 2013 20:49:19 +0200 | blanchet | generate a comment storing the goal nickname in "learn_prover" | changeset | files |
| Thu, 17 Oct 2013 20:20:53 +0200 | blanchet | clarified message | changeset | files |
| Thu, 17 Oct 2013 20:03:37 +0200 | blanchet | added thread-safety warnings | changeset | files |
| Thu, 17 Oct 2013 18:53:00 +0200 | blanchet | avoid confusion between outer ifs and inner ifs, that caused tactic to go berserk | changeset | files |
| Thu, 17 Oct 2013 18:53:00 +0200 | blanchet | handle nested tuples in 'let's | changeset | files |
| Thu, 17 Oct 2013 16:45:54 +0200 | nipkow | more exercises | changeset | files |
| Thu, 17 Oct 2013 13:37:13 +0200 | blanchet | also unfold let (_, _) = ... syntax | changeset | files |
| Thu, 17 Oct 2013 11:27:53 +0200 | blanchet | added helper function (that solves chicken-and-egg problem w.r.t. "callssss") | changeset | files |