Fri, 15 Jul 2005 15:44:18 +0200 |
wenzelm |
replaced foldl_XXX by canonical fold_XXX;
|
file |
diff |
annotate
|
Wed, 13 Jul 2005 14:56:00 +0200 |
wenzelm |
fixed comment-out;
|
file |
diff |
annotate
|
Wed, 13 Jul 2005 11:30:37 +0200 |
haftmann |
(fix for an accidental commit)
|
file |
diff |
annotate
|
Wed, 13 Jul 2005 11:16:34 +0200 |
haftmann |
(intermediate commit)
|
file |
diff |
annotate
|
Wed, 06 Jul 2005 20:00:33 +0200 |
wenzelm |
tuned eq_ix;
|
file |
diff |
annotate
|
Wed, 06 Jul 2005 10:41:44 +0200 |
wenzelm |
tuned maxidx_of_typ/typs/term;
|
file |
diff |
annotate
|
Mon, 04 Jul 2005 17:07:12 +0200 |
wenzelm |
added fast_indexname_ord, fast_term_ord;
|
file |
diff |
annotate
|
Fri, 01 Jul 2005 22:35:20 +0200 |
wenzelm |
tuned term_ord: less garbage;
|
file |
diff |
annotate
|
Wed, 29 Jun 2005 15:13:29 +0200 |
wenzelm |
tuned sort_ord: pointer_eq;
|
file |
diff |
annotate
|
Tue, 28 Jun 2005 15:28:30 +0200 |
paulson |
first-order check now allows quantifiers
|
file |
diff |
annotate
|
Sat, 25 Jun 2005 16:07:55 +0200 |
nipkow |
Added term_lpo
|
file |
diff |
annotate
|
Wed, 22 Jun 2005 19:41:23 +0200 |
wenzelm |
export sort_ord;
|
file |
diff |
annotate
|
Thu, 09 Jun 2005 12:03:25 +0200 |
wenzelm |
map_typ and map_term no longer global;
|
file |
diff |
annotate
|
Mon, 06 Jun 2005 10:21:53 +0200 |
wenzelm |
avoid polymorphic ins;
|
file |
diff |
annotate
|
Sun, 29 May 2005 12:39:12 +0200 |
obua |
Implement cycle-free overloading, so that definitions cannot harm consistency any more (except of course via interaction with axioms).
|
file |
diff |
annotate
|
Sun, 22 May 2005 19:26:15 +0200 |
wenzelm |
added show_dummy_patterns;
|
file |
diff |
annotate
|
Tue, 17 May 2005 18:10:39 +0200 |
wenzelm |
renamed show_var_qmarks to show_question_marks;
|
file |
diff |
annotate
|
Mon, 16 May 2005 08:28:16 +0200 |
kleing |
line wrap
|
file |
diff |
annotate
|
Thu, 12 May 2005 10:48:46 +0200 |
paulson |
first-order now ignores "all"
|
file |
diff |
annotate
|
Tue, 03 May 2005 02:44:10 +0200 |
dixon |
lucas - added dest_TVar and dest_TFree.
|
file |
diff |
annotate
|
Thu, 21 Apr 2005 19:12:03 +0200 |
berghofe |
- Eliminated nodup_vars check.
|
file |
diff |
annotate
|
Sat, 26 Mar 2005 16:14:17 +0100 |
gagern |
op vor infix-Konstruktoren im datatype binding zum besseren Parsen
|
file |
diff |
annotate
|
Thu, 17 Mar 2005 12:19:50 +0100 |
nipkow |
added string_of_term
|
file |
diff |
annotate
|
Thu, 10 Mar 2005 17:48:36 +0100 |
ballarin |
Registrations of global locale interpretations: improved, better naming.
|
file |
diff |
annotate
|
Fri, 04 Mar 2005 15:07:34 +0100 |
skalberg |
Removed practically all references to Library.foldr.
|
file |
diff |
annotate
|
Fri, 04 Mar 2005 11:44:26 +0100 |
paulson |
new first_order test
|
file |
diff |
annotate
|
Thu, 03 Mar 2005 12:43:01 +0100 |
skalberg |
Move towards standard functions.
|
file |
diff |
annotate
|
Sun, 13 Feb 2005 17:15:14 +0100 |
skalberg |
Deleted Library.option type.
|
file |
diff |
annotate
|
Thu, 27 Jan 2005 12:34:09 +0100 |
berghofe |
Added show_var_qmarks flag.
|
file |
diff |
annotate
|
Thu, 08 Jul 2004 19:34:10 +0200 |
wenzelm |
added add_term_varnames, term_varnames;
|
file |
diff |
annotate
|