Fri, 28 Mar 2008 20:02:04 +0100 |
wenzelm |
Context.>> : operate on Context.generic;
|
file |
diff |
annotate
|
Thu, 27 Mar 2008 14:41:13 +0100 |
wenzelm |
implicit setup of emerging theory Pure;
|
file |
diff |
annotate
|
Tue, 18 Dec 2007 19:54:31 +0100 |
wenzelm |
non-critical (accidental concurrent access does not affect functional integrity);
|
file |
diff |
annotate
|
Sun, 29 Jul 2007 17:28:55 +0200 |
wenzelm |
NAMED_CRITICAL;
|
file |
diff |
annotate
|
Mon, 23 Jul 2007 14:06:12 +0200 |
wenzelm |
marked some CRITICAL sections (for multithreading);
|
file |
diff |
annotate
|
Mon, 07 May 2007 00:49:59 +0200 |
wenzelm |
simplified DataFun interfaces;
|
file |
diff |
annotate
|
Fri, 15 Sep 2006 22:56:13 +0200 |
wenzelm |
renamed Term.map_term_types to Term.map_types (cf. Term.fold_types);
|
file |
diff |
annotate
|
Thu, 15 Sep 2005 17:16:56 +0200 |
wenzelm |
TableFun/Symtab: curried lookup and update;
|
file |
diff |
annotate
|
Thu, 01 Sep 2005 18:48:50 +0200 |
wenzelm |
curried_lookup/update;
|
file |
diff |
annotate
|
Mon, 01 Aug 2005 19:20:35 +0200 |
wenzelm |
compression of terms and types by sharing common subtrees;
|
file |
diff |
annotate
|