| Wed, 08 Feb 2006 15:17:54 +0100 |
nipkow |
*** empty log message ***
|
changeset |
files
|
| Wed, 08 Feb 2006 15:12:59 +0100 |
nipkow |
made "dvd" on numbers executable by simp.
|
changeset |
files
|
| Wed, 08 Feb 2006 14:39:00 +0100 |
haftmann |
introduced gen_distinct in place of distinct
|
changeset |
files
|
| Wed, 08 Feb 2006 09:27:20 +0100 |
haftmann |
fixed the most silly bug conceivable in map_atyps
|
changeset |
files
|
| Tue, 07 Feb 2006 19:57:00 +0100 |
wenzelm |
lambda: base name of Const;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:58 +0100 |
wenzelm |
adapted Sign.infer_types;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:57 +0100 |
wenzelm |
has_duplicates;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:56 +0100 |
wenzelm |
adapted Sign.infer_types;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:54 +0100 |
wenzelm |
added local consts component;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:53 +0100 |
wenzelm |
Library.is_equal;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:51 +0100 |
wenzelm |
removed obsolete sign_of_cterm;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:50 +0100 |
wenzelm |
adapted Sign.infer_types(_simult), Sign.certify_term/prop;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:49 +0100 |
wenzelm |
export consts_of;
|
changeset |
files
|
| Tue, 07 Feb 2006 19:56:48 +0100 |
wenzelm |
removed eq-polymorphic duplicates;
|
changeset |
files
|