| Wed, 12 Jul 2006 21:19:17 +0200 |
wenzelm |
prove_conv: Variable.import_terms instead of Term.addhoc_freeze_vars;
|
changeset |
files
|
| Wed, 12 Jul 2006 21:19:14 +0200 |
wenzelm |
simplified prove_conv;
|
changeset |
files
|
| Wed, 12 Jul 2006 19:59:14 +0200 |
wenzelm |
removed ':' from category of symbolic identifier chars;
|
changeset |
files
|
| Wed, 12 Jul 2006 19:59:13 +0200 |
wenzelm |
query/bang_colon: separate tokens;
|
changeset |
files
|
| Wed, 12 Jul 2006 17:40:52 +0200 |
haftmann |
purged website sources
|
changeset |
files
|
| Wed, 12 Jul 2006 17:00:33 +0200 |
haftmann |
added strip_abs_eta
|
changeset |
files
|
| Wed, 12 Jul 2006 17:00:32 +0200 |
haftmann |
added chop_prefix
|
changeset |
files
|
| Wed, 12 Jul 2006 17:00:31 +0200 |
haftmann |
class_of_param instead of class_of
|
changeset |
files
|
| Wed, 12 Jul 2006 17:00:30 +0200 |
haftmann |
adaptions in class_package
|
changeset |
files
|
| Wed, 12 Jul 2006 17:00:22 +0200 |
haftmann |
adaptions in codegen
|
changeset |
files
|
| Wed, 12 Jul 2006 00:34:54 +0200 |
wenzelm |
variants: special treatment of empty name;
|
changeset |
files
|
| Tue, 11 Jul 2006 23:49:32 +0200 |
wenzelm |
avoid reference to internal skolem;
|
changeset |
files
|
| Tue, 11 Jul 2006 23:00:39 +0200 |
wenzelm |
separate names filed (covers fixes/defaults);
|
changeset |
files
|
| Tue, 11 Jul 2006 23:00:39 +0200 |
wenzelm |
adapted Name.defaults_of;
|
changeset |
files
|
| Tue, 11 Jul 2006 23:00:37 +0200 |
wenzelm |
removed obsolete xless;
|
changeset |
files
|