| Wed, 24 May 2006 21:58:07 +0200 |
wenzelm |
Pure: update on overloaded defs;
|
changeset |
files
|
| Wed, 24 May 2006 10:02:36 +0200 |
berghofe |
Extended strong induction rule with additional
|
changeset |
files
|
| Wed, 24 May 2006 01:47:25 +0200 |
huffman |
add theorem cfcomp_strict
|
changeset |
files
|
| Wed, 24 May 2006 01:05:02 +0200 |
wenzelm |
added add_deps, which actually records dependencies of consts (unlike add_finals);
|
changeset |
files
|
| Wed, 24 May 2006 01:05:01 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 24 May 2006 01:04:59 +0200 |
wenzelm |
axiomatize class: Theory.add_deps;
|
changeset |
files
|
| Wed, 24 May 2006 01:04:57 +0200 |
wenzelm |
simplified info/get_info;
|
changeset |
files
|
| Wed, 24 May 2006 01:04:55 +0200 |
wenzelm |
simplified TypedefPackage.get_info;
|
changeset |
files
|
| Tue, 23 May 2006 14:00:06 +0200 |
wenzelm |
made smlnj happy;
|
changeset |
files
|
| Tue, 23 May 2006 13:55:02 +0200 |
wenzelm |
pretty_full_theory: tuned output of definitions;
|
changeset |
files
|
| Tue, 23 May 2006 13:55:01 +0200 |
wenzelm |
export plain_args;
|
changeset |
files
|
| Mon, 22 May 2006 22:29:19 +0200 |
wenzelm |
Defs.specifications_of: lhs/rhs now use typargs;
|
changeset |
files
|
| Mon, 22 May 2006 22:29:18 +0200 |
wenzelm |
removed unchecked'';
|
changeset |
files
|
| Mon, 22 May 2006 22:29:16 +0200 |
wenzelm |
pretty_full_theory: defs;
|
changeset |
files
|
| Mon, 22 May 2006 22:29:15 +0200 |
wenzelm |
specifications_of: lhs/rhs represented as typargs;
|
changeset |
files
|
| Mon, 22 May 2006 21:27:01 +0200 |
wenzelm |
export raw_unifys, could_unifys;
|
changeset |
files
|