| Sat, 10 Jul 1999 21:41:05 +0200 |
wenzelm |
Symtab.lookup_multi;
|
file |
diff |
annotate
|
| Fri, 30 Apr 1999 18:02:16 +0200 |
wenzelm |
val foldl_map_aterms: ('a * term -> 'a * term) -> 'a * term -> 'a * term;
|
file |
diff |
annotate
|
| Fri, 18 Dec 1998 11:01:25 +0100 |
paulson |
moved dest_Type to term.ML from HOL/Tools/primrec_package
|
file |
diff |
annotate
|
| Sun, 29 Nov 1998 13:14:45 +0100 |
wenzelm |
added oct_char;
|
file |
diff |
annotate
|
| Tue, 29 Sep 1998 15:59:43 +0200 |
paulson |
new function inter_term
|
file |
diff |
annotate
|
| Mon, 09 Mar 1998 16:09:32 +0100 |
wenzelm |
tuned some names;
|
file |
diff |
annotate
|
| Wed, 18 Feb 1998 11:31:25 +0100 |
nipkow |
Improved loop-test for rewrite rules a little.
|
file |
diff |
annotate
|
| Thu, 12 Feb 1998 16:54:01 +0100 |
wenzelm |
tuned comments;
|
file |
diff |
annotate
|
| Fri, 06 Feb 1998 11:18:29 +0100 |
wenzelm |
added Vartab: TABLE;
|
file |
diff |
annotate
|
| Sun, 28 Dec 1997 15:24:11 +0100 |
wenzelm |
made MLWorks happy;
|
file |
diff |
annotate
|
| Sun, 28 Dec 1997 14:56:44 +0100 |
wenzelm |
renamed Symtab.null to Symtab.empty;
|
file |
diff |
annotate
|
| Wed, 24 Dec 1997 12:21:06 +0100 |
wenzelm |
export range_type;
|
file |
diff |
annotate
|
| Mon, 22 Dec 1997 12:22:06 +0100 |
paulson |
Added range-type for completeness
|
file |
diff |
annotate
|
| Fri, 19 Dec 1997 10:16:16 +0100 |
wenzelm |
term order;
|
file |
diff |
annotate
|
| Wed, 26 Nov 1997 16:37:17 +0100 |
wenzelm |
added foldl_atyps: ('a * typ -> 'a) -> 'a * typ -> 'a;
|
file |
diff |
annotate
|
| Fri, 07 Nov 1997 18:02:15 +0100 |
oheimb |
changed libraray function find to find_index_eq, currying it
|
file |
diff |
annotate
|
| Fri, 07 Nov 1997 15:24:58 +0100 |
oheimb |
added exists_Const
|
file |
diff |
annotate
|
| Sat, 01 Nov 1997 13:02:19 +0100 |
paulson |
New syntax function for types
|
file |
diff |
annotate
|
| Tue, 28 Oct 1997 17:29:48 +0100 |
wenzelm |
add_typ_classes, add_typ_tycons, add_term_classes, add_term_tycons,
|
file |
diff |
annotate
|
| Tue, 21 Oct 1997 17:47:50 +0200 |
wenzelm |
made Poly/ML happy, but SML/NJ unhappy;
|
file |
diff |
annotate
|
| Mon, 20 Oct 1997 17:08:18 +0200 |
wenzelm |
make SML/NJ happy;
|
file |
diff |
annotate
|
| Mon, 06 Oct 1997 18:29:43 +0200 |
wenzelm |
eliminated raise_term;
|
file |
diff |
annotate
|
| Wed, 16 Apr 1997 18:16:45 +0200 |
wenzelm |
tuned type of eq_ix, mem_ix;
|
file |
diff |
annotate
|
| Fri, 14 Mar 1997 10:35:30 +0100 |
nipkow |
Avoid eta-contraction in the simplifier.
|
file |
diff |
annotate
|
| Fri, 07 Mar 1997 10:24:26 +0100 |
paulson |
Improved indentation of aconv
|
file |
diff |
annotate
|
| Tue, 04 Feb 1997 10:33:58 +0100 |
paulson |
Gradual switching to Basis Library functions nth, drop, etc.
|
file |
diff |
annotate
|
| Mon, 18 Nov 1996 16:28:40 +0100 |
paulson |
Optimizations: removal of polymorphic equality; one-argument case
|
file |
diff |
annotate
|
| Wed, 13 Nov 1996 10:42:50 +0100 |
paulson |
Removal of polymorphic equality via mem, subset, eq_set, etc
|
file |
diff |
annotate
|
| Tue, 12 Nov 1996 11:40:41 +0100 |
paulson |
Changed some mem and ins calls to be monomorphic
|
file |
diff |
annotate
|
| Fri, 01 Nov 1996 15:32:03 +0100 |
paulson |
maxidx_of_typs replaces max o map maxidx_of_typ
|
file |
diff |
annotate
|