| Thu, 20 Mar 2014 17:55:33 -0700 | huffman | tuned proofs | changeset | files |
| Mon, 24 Mar 2014 16:33:36 +0100 | traytel | made tactic more robust | changeset | files |
| Mon, 24 Mar 2014 16:33:36 +0100 | traytel | inline helper function | changeset | files |
| Mon, 24 Mar 2014 14:22:29 +0000 | paulson | rearranging some deriv theorems | changeset | files |
| Sun, 23 Mar 2014 16:40:35 +0100 | wenzelm | modernized approximation, avoiding bad name binding; | changeset | files |
| Sun, 23 Mar 2014 15:46:21 +0100 | wenzelm | more sensible treatment of quasi-local variables (NB: Variable.add_fixes is only for term variables, while Variable.declare takes care of types within given terms); | changeset | files |
| Sat, 22 Mar 2014 22:00:26 +0100 | wenzelm | merged | changeset | files |
| Sat, 22 Mar 2014 21:40:19 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 20:42:16 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 19:33:39 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 18:19:57 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 18:16:54 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 18:15:09 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 18:12:08 +0100 | wenzelm | tuned message; | changeset | files |
| Sat, 22 Mar 2014 16:50:52 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 22 Mar 2014 15:58:27 +0100 | wenzelm | avoid hard-wired theory names; | changeset | files |