| Sun, 15 Dec 2013 18:01:38 +0100 | blanchet | inline Z3 hypotheses | changeset | files |
| Sun, 15 Dec 2013 18:01:35 +0100 | blanchet | merge | changeset | files |
| Sun, 15 Dec 2013 05:11:46 +0100 | blanchet | merge | changeset | files |
| Sat, 14 Dec 2013 07:45:30 +0800 | blanchet | merged | changeset | files |
| Sat, 14 Dec 2013 07:26:45 +0800 | blanchet | better handling of Z3 proof blocks | changeset | files |
| Sun, 15 Dec 2013 15:10:16 +0100 | haftmann | disambiguation of interpretation prefixes | changeset | files |
| Sun, 15 Dec 2013 15:10:14 +0100 | haftmann | more algebraic terminology for theories about big operators | changeset | files |
| Sat, 14 Dec 2013 20:46:36 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 14 Dec 2013 17:28:05 +0100 | wenzelm | proper context for basic Simplifier operations: rewrite_rule, rewrite_goals_rule, rewrite_goals_tac etc.; | changeset | files |
| Fri, 13 Dec 2013 23:53:02 +0100 | wenzelm | merged | changeset | files |
| Fri, 13 Dec 2013 20:20:15 +0100 | wenzelm | maintain morphism names for diagnostic purposes; | changeset | files |
| Fri, 13 Dec 2013 14:58:47 +0100 | wenzelm | tuned -- prefer canonical argument order of fold_rev; | changeset | files |
| Fri, 13 Dec 2013 14:15:52 +0100 | wenzelm | proper simplifier context; | changeset | files |
| Fri, 13 Dec 2013 14:09:51 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 13 Dec 2013 13:59:01 +0100 | wenzelm | tuned whitespace; | changeset | files |