| Tue, 16 Oct 2007 17:06:18 +0200 |
wenzelm |
added revert_abbrev;
|
changeset |
files
|
| Tue, 16 Oct 2007 17:06:15 +0200 |
wenzelm |
add_bind: close_schematic_term;
|
changeset |
files
|
| Tue, 16 Oct 2007 17:06:13 +0200 |
wenzelm |
tuned hidden_polymorphism;
|
changeset |
files
|
| Tue, 16 Oct 2007 17:06:11 +0200 |
wenzelm |
add_abbrev: removed Logic.legacy_varifyT, do not unvarify result (again);
|
changeset |
files
|
| Tue, 16 Oct 2007 17:06:09 +0200 |
wenzelm |
the_abbreviation: return plain rhs only;
|
changeset |
files
|
| Tue, 16 Oct 2007 16:18:36 +0200 |
paulson |
added the "max_sledgehammers" option
|
changeset |
files
|
| Tue, 16 Oct 2007 14:11:35 +0200 |
krauss |
Fixed variable naming in mutual induction rules
|
changeset |
files
|
| Tue, 16 Oct 2007 14:11:06 +0200 |
krauss |
"sequential" is no longer a keyword. It is still used as before, but as a normal
|
changeset |
files
|
| Tue, 16 Oct 2007 13:00:13 +0200 |
urbanc |
polished some comments
|
changeset |
files
|
| Mon, 15 Oct 2007 21:08:37 +0200 |
wenzelm |
unparse_arity: unparse type constructor as well;
|
changeset |
files
|
| Mon, 15 Oct 2007 21:08:36 +0200 |
wenzelm |
renamed Consts.the_declaration to Consts.the_type;
|
changeset |
files
|
| Mon, 15 Oct 2007 21:08:35 +0200 |
wenzelm |
renamed the_declaration to the_type;
|
changeset |
files
|
| Mon, 15 Oct 2007 15:29:46 +0200 |
haftmann |
tuned
|
changeset |
files
|
| Mon, 15 Oct 2007 15:29:45 +0200 |
haftmann |
swapped constant components
|
changeset |
files
|
| Mon, 15 Oct 2007 15:29:43 +0200 |
haftmann |
canonical interpretation interface
|
changeset |
files
|
| Mon, 15 Oct 2007 15:29:41 +0200 |
haftmann |
prefer first constant component on merge
|
changeset |
files
|